{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2012:Z7S7IYQBTVPMIIO3UPMRJVKF6U","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":"665d7ebb77a747626a6e50ba3f17218b721fb60eeb6d4b6da8f9770e53e7d9b8","cross_cats_sorted":["cs.LO","cs.SE"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2012-12-14T12:50:44Z","title_canon_sha256":"8739c8515290f6fcd214ab303b96bf44de111819392972dae366f40b469280a0"},"schema_version":"1.0","source":{"id":"1212.3458","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1212.3458","created_at":"2026-05-18T03:38:24Z"},{"alias_kind":"arxiv_version","alias_value":"1212.3458v1","created_at":"2026-05-18T03:38:24Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1212.3458","created_at":"2026-05-18T03:38:24Z"},{"alias_kind":"pith_short_12","alias_value":"Z7S7IYQBTVPM","created_at":"2026-05-18T12:27:30Z"},{"alias_kind":"pith_short_16","alias_value":"Z7S7IYQBTVPMIIO3","created_at":"2026-05-18T12:27:30Z"},{"alias_kind":"pith_short_8","alias_value":"Z7S7IYQB","created_at":"2026-05-18T12:27:30Z"}],"graph_snapshots":[{"event_id":"sha256:fc4261001cc19fe426bfb9021831d2db857e267a7860d2c4be4cad77ccd2a17b","target":"graph","created_at":"2026-05-18T03:38:24Z","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"},"paper":{"abstract_excerpt":"This volume contains the proceedings of ICE'12, the 5th Interaction and Concurrency Experience workshop, which was held in Stockholm, Sweden on the 16th of June 2012 as a satellite event of DisCoTec'12. The topic of ICE'12 was Distributed Coordination, Execution Models, and Resilient Interaction. The ICE procedure for paper selection allows for PC members to interact, anonymously, with authors. During the review phase, each submitted paper is published on a Wiki and associated with a discussion forum whose access is restricted to the authors and to all the PC members not declaring a conflict o","authors_text":"Alexandra Silva, Ana Sokolova, Ivan Lanese, Marco Carbone","cross_cats":["cs.LO","cs.SE"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2012-12-14T12:50:44Z","title":"Proceedings Fifth Interaction and Concurrency Experience"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1212.3458","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:7929efb6b0fef538e8196a130fe81e5bb18c60cc5d96b2fa8b0c9bcc710a6483","target":"record","created_at":"2026-05-18T03:38:24Z","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":"665d7ebb77a747626a6e50ba3f17218b721fb60eeb6d4b6da8f9770e53e7d9b8","cross_cats_sorted":["cs.LO","cs.SE"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2012-12-14T12:50:44Z","title_canon_sha256":"8739c8515290f6fcd214ab303b96bf44de111819392972dae366f40b469280a0"},"schema_version":"1.0","source":{"id":"1212.3458","kind":"arxiv","version":1}},"canonical_sha256":"cfe5f462019d5ec421dba3d914d545f52b3c62d9a02d1ba00ffe3391cc4c62c8","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"cfe5f462019d5ec421dba3d914d545f52b3c62d9a02d1ba00ffe3391cc4c62c8","first_computed_at":"2026-05-18T03:38:24.589354Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:38:24.589354Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"voi6MT3RQd8CIj7PFAJLU2LW/MBU5YphQYoqiOBMcosn4Z/lQkNnHP2fqQ69Z6bcwBFJS4KqXzSM9qdki2M5Cw==","signature_status":"signed_v1","signed_at":"2026-05-18T03:38:24.590139Z","signed_message":"canonical_sha256_bytes"},"source_id":"1212.3458","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:7929efb6b0fef538e8196a130fe81e5bb18c60cc5d96b2fa8b0c9bcc710a6483","sha256:fc4261001cc19fe426bfb9021831d2db857e267a7860d2c4be4cad77ccd2a17b"],"state_sha256":"38b5b0364137a79cd31e9303cebefacdeadbfa13128515f24e1a3888fd4d9c5d"}