{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2019:ADJTQ2BJEMQ3FUJVD65MQQLXSQ","short_pith_number":"pith:ADJTQ2BJ","schema_version":"1.0","canonical_sha256":"00d33868292321b2d1351fbac84177940ad5935438fe71f2596502011edf8421","source":{"kind":"arxiv","id":"1909.05242","version":1},"attestation_state":"computed","paper":{"title":"Proceedings 12th Interaction and Concurrency Experience","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"cs.PL","authors_text":"Alceste Scalas (Aston University, Anastasia Mavridou (NASA Ames, Birmingham, France), Italy), LIP, Ludovic Henrio (CNRS, Lyon, Massimo Bartoletti (University of Cagliari, UK), USA)","submitted_at":"2019-09-11T17:57:03Z","abstract_excerpt":"This volume contains the proceedings of ICE'19, the 12th Interaction and Concurrency Experience, which was held in Copenhagen, Denmark on the 20th and 21st of June 2019, as a satellite event of DisCoTec'19. The ICE workshop series features a distinguishing review and selection procedure, allowing PC members to interact anonymously with authors. As in the past 11 editions, this interaction considerably improved the accuracy of the feedback from the reviewers and the quality of accepted papers, and offered the basis for lively discussion during the workshop. The 2019 edition of ICE included doub"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"1909.05242","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2019-09-11T17:57:03Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"868064913c885b1b0b377be8df71f9c3d47d238e21db330076bf9a1a4b708760","abstract_canon_sha256":"55d0dc5ccdc9cc0cfd7b89c126a86a566860bf21223fecaf6559aee702e4185d"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T00:04:04.494678Z","signature_b64":"Fetn9RVE+72gqsNuTAF8mRfC/cbeJALZg3Vpi5TNuJVIgtc+4bA9lznD2f+NLLuu2evOnwiX5p0URasjt9DIAQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"00d33868292321b2d1351fbac84177940ad5935438fe71f2596502011edf8421","last_reissued_at":"2026-07-05T00:04:04.494343Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T00:04:04.494343Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Proceedings 12th Interaction and Concurrency Experience","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"cs.PL","authors_text":"Alceste Scalas (Aston University, Anastasia Mavridou (NASA Ames, Birmingham, France), Italy), LIP, Ludovic Henrio (CNRS, Lyon, Massimo Bartoletti (University of Cagliari, UK), USA)","submitted_at":"2019-09-11T17:57:03Z","abstract_excerpt":"This volume contains the proceedings of ICE'19, the 12th Interaction and Concurrency Experience, which was held in Copenhagen, Denmark on the 20th and 21st of June 2019, as a satellite event of DisCoTec'19. The ICE workshop series features a distinguishing review and selection procedure, allowing PC members to interact anonymously with authors. As in the past 11 editions, this interaction considerably improved the accuracy of the feedback from the reviewers and the quality of accepted papers, and offered the basis for lively discussion during the workshop. The 2019 edition of ICE included doub"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1909.05242","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/1909.05242/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"aliases":[{"alias_kind":"arxiv","alias_value":"1909.05242","created_at":"2026-07-05T00:04:04.494389+00:00"},{"alias_kind":"arxiv_version","alias_value":"1909.05242v1","created_at":"2026-07-05T00:04:04.494389+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1909.05242","created_at":"2026-07-05T00:04:04.494389+00:00"},{"alias_kind":"pith_short_12","alias_value":"ADJTQ2BJEMQ3","created_at":"2026-07-05T00:04:04.494389+00:00"},{"alias_kind":"pith_short_16","alias_value":"ADJTQ2BJEMQ3FUJV","created_at":"2026-07-05T00:04:04.494389+00:00"},{"alias_kind":"pith_short_8","alias_value":"ADJTQ2BJ","created_at":"2026-07-05T00:04:04.494389+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/ADJTQ2BJEMQ3FUJVD65MQQLXSQ","json":"https://pith.science/pith/ADJTQ2BJEMQ3FUJVD65MQQLXSQ.json","graph_json":"https://pith.science/api/pith-number/ADJTQ2BJEMQ3FUJVD65MQQLXSQ/graph.json","events_json":"https://pith.science/api/pith-number/ADJTQ2BJEMQ3FUJVD65MQQLXSQ/events.json","paper":"https://pith.science/paper/ADJTQ2BJ"},"agent_actions":{"view_html":"https://pith.science/pith/ADJTQ2BJEMQ3FUJVD65MQQLXSQ","download_json":"https://pith.science/pith/ADJTQ2BJEMQ3FUJVD65MQQLXSQ.json","view_paper":"https://pith.science/paper/ADJTQ2BJ","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1909.05242&json=true","fetch_graph":"https://pith.science/api/pith-number/ADJTQ2BJEMQ3FUJVD65MQQLXSQ/graph.json","fetch_events":"https://pith.science/api/pith-number/ADJTQ2BJEMQ3FUJVD65MQQLXSQ/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/ADJTQ2BJEMQ3FUJVD65MQQLXSQ/action/timestamp_anchor","attest_storage":"https://pith.science/pith/ADJTQ2BJEMQ3FUJVD65MQQLXSQ/action/storage_attestation","attest_author":"https://pith.science/pith/ADJTQ2BJEMQ3FUJVD65MQQLXSQ/action/author_attestation","sign_citation":"https://pith.science/pith/ADJTQ2BJEMQ3FUJVD65MQQLXSQ/action/citation_signature","submit_replication":"https://pith.science/pith/ADJTQ2BJEMQ3FUJVD65MQQLXSQ/action/replication_record"}},"created_at":"2026-07-05T00:04:04.494389+00:00","updated_at":"2026-07-05T00:04:04.494389+00:00"}