{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2019:ADJTQ2BJEMQ3FUJVD65MQQLXSQ","short_pith_number":"pith:ADJTQ2BJ","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"},"canonical_sha256":"00d33868292321b2d1351fbac84177940ad5935438fe71f2596502011edf8421","source":{"kind":"arxiv","id":"1909.05242","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1909.05242","created_at":"2026-07-05T00:04:04Z"},{"alias_kind":"arxiv_version","alias_value":"1909.05242v1","created_at":"2026-07-05T00:04:04Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1909.05242","created_at":"2026-07-05T00:04:04Z"},{"alias_kind":"pith_short_12","alias_value":"ADJTQ2BJEMQ3","created_at":"2026-07-05T00:04:04Z"},{"alias_kind":"pith_short_16","alias_value":"ADJTQ2BJEMQ3FUJV","created_at":"2026-07-05T00:04:04Z"},{"alias_kind":"pith_short_8","alias_value":"ADJTQ2BJ","created_at":"2026-07-05T00:04:04Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2019:ADJTQ2BJEMQ3FUJVD65MQQLXSQ","target":"record","payload":{"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"},"canonical_sha256":"00d33868292321b2d1351fbac84177940ad5935438fe71f2596502011edf8421","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"},"source_kind":"arxiv","source_id":"1909.05242","source_version":1,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-05T00:04:04Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"wXa50edwKPEVEht5aahXcj5SCNPAlVpsP9ydfDpfqSxwC2Q0KC1j7Rb6nmmqqP7eciRgkHvBFAiGFWbHWuVKCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-07T05:06:48.657646Z"},"content_sha256":"571d9a1cf6fa800f7ffe30b37ab6301bd791d09fad1d0f6c5e2b40db2c69a16c","schema_version":"1.0","event_id":"sha256:571d9a1cf6fa800f7ffe30b37ab6301bd791d09fad1d0f6c5e2b40db2c69a16c"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2019:ADJTQ2BJEMQ3FUJVD65MQQLXSQ","target":"graph","payload":{"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"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-05T00:04:04Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"myUAy87JqwBI8/8v+FtTUt+jb6161RdLWXsf3YJ/LvtY0nkpfXeBhQaK+MNvJQ8rSayYh9ircb31eADW1EfcAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-07T05:06:48.658271Z"},"content_sha256":"760add111c042c9e03242e3c789f7117f87f0a66f84b3738d65d3007c1109ea6","schema_version":"1.0","event_id":"sha256:760add111c042c9e03242e3c789f7117f87f0a66f84b3738d65d3007c1109ea6"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/ADJTQ2BJEMQ3FUJVD65MQQLXSQ/bundle.json","state_url":"https://pith.science/pith/ADJTQ2BJEMQ3FUJVD65MQQLXSQ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/ADJTQ2BJEMQ3FUJVD65MQQLXSQ/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-07-07T05:06:48Z","links":{"resolver":"https://pith.science/pith/ADJTQ2BJEMQ3FUJVD65MQQLXSQ","bundle":"https://pith.science/pith/ADJTQ2BJEMQ3FUJVD65MQQLXSQ/bundle.json","state":"https://pith.science/pith/ADJTQ2BJEMQ3FUJVD65MQQLXSQ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/ADJTQ2BJEMQ3FUJVD65MQQLXSQ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:ADJTQ2BJEMQ3FUJVD65MQQLXSQ","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"55d0dc5ccdc9cc0cfd7b89c126a86a566860bf21223fecaf6559aee702e4185d","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2019-09-11T17:57:03Z","title_canon_sha256":"868064913c885b1b0b377be8df71f9c3d47d238e21db330076bf9a1a4b708760"},"schema_version":"1.0","source":{"id":"1909.05242","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1909.05242","created_at":"2026-07-05T00:04:04Z"},{"alias_kind":"arxiv_version","alias_value":"1909.05242v1","created_at":"2026-07-05T00:04:04Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1909.05242","created_at":"2026-07-05T00:04:04Z"},{"alias_kind":"pith_short_12","alias_value":"ADJTQ2BJEMQ3","created_at":"2026-07-05T00:04:04Z"},{"alias_kind":"pith_short_16","alias_value":"ADJTQ2BJEMQ3FUJV","created_at":"2026-07-05T00:04:04Z"},{"alias_kind":"pith_short_8","alias_value":"ADJTQ2BJ","created_at":"2026-07-05T00:04:04Z"}],"graph_snapshots":[{"event_id":"sha256:760add111c042c9e03242e3c789f7117f87f0a66f84b3738d65d3007c1109ea6","target":"graph","created_at":"2026-07-05T00:04:04Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/1909.05242/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"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","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)","cross_cats":["cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2019-09-11T17:57:03Z","title":"Proceedings 12th Interaction and Concurrency Experience"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1909.05242","kind":"arxiv","version":1},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:571d9a1cf6fa800f7ffe30b37ab6301bd791d09fad1d0f6c5e2b40db2c69a16c","target":"record","created_at":"2026-07-05T00:04:04Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"55d0dc5ccdc9cc0cfd7b89c126a86a566860bf21223fecaf6559aee702e4185d","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2019-09-11T17:57:03Z","title_canon_sha256":"868064913c885b1b0b377be8df71f9c3d47d238e21db330076bf9a1a4b708760"},"schema_version":"1.0","source":{"id":"1909.05242","kind":"arxiv","version":1}},"canonical_sha256":"00d33868292321b2d1351fbac84177940ad5935438fe71f2596502011edf8421","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"00d33868292321b2d1351fbac84177940ad5935438fe71f2596502011edf8421","first_computed_at":"2026-07-05T00:04:04.494343Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T00:04:04.494343Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Fetn9RVE+72gqsNuTAF8mRfC/cbeJALZg3Vpi5TNuJVIgtc+4bA9lznD2f+NLLuu2evOnwiX5p0URasjt9DIAQ==","signature_status":"signed_v1","signed_at":"2026-07-05T00:04:04.494678Z","signed_message":"canonical_sha256_bytes"},"source_id":"1909.05242","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:571d9a1cf6fa800f7ffe30b37ab6301bd791d09fad1d0f6c5e2b40db2c69a16c","sha256:760add111c042c9e03242e3c789f7117f87f0a66f84b3738d65d3007c1109ea6"],"state_sha256":"ed6fb4f4f4dd76e94c97175f9d7f6cb3286d42afda335ca55056a23a53f719e3"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"FUwRJcHPdqw9pT/F76hkDLtJOdM2L46cdXYyZ4hQ9QfveZ2nVf3oCpEzP+6TzMdHla+KmH0b8K9EFemxGrvHCg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-07T05:06:48.662422Z","bundle_sha256":"4356ab942dd331989a9b2bf8c1e685a944da45d6b7c0cd8cc5ef47d2a704b384"}}