{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:AEU2J6UD2BXXE3C7SOVRK26H5J","short_pith_number":"pith:AEU2J6UD","canonical_record":{"source":{"id":"1608.02692","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-08-09T05:24:04Z","cross_cats_sorted":["cs.PL"],"title_canon_sha256":"a8a10ef107ac29d103cf082dd8fefc685c934f93dff256632e297876ebc8309c","abstract_canon_sha256":"130dfbf49b2b11b8b510ffadce8c3f4b74bf2b82e9d59f6a70b29a64fae6f633"},"schema_version":"1.0"},"canonical_sha256":"0129a4fa83d06f726c5f93ab156bc7ea6959bdde389805a607f833fa3ddcf86c","source":{"kind":"arxiv","id":"1608.02692","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1608.02692","created_at":"2026-05-18T01:09:33Z"},{"alias_kind":"arxiv_version","alias_value":"1608.02692v1","created_at":"2026-05-18T01:09:33Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1608.02692","created_at":"2026-05-18T01:09:33Z"},{"alias_kind":"pith_short_12","alias_value":"AEU2J6UD2BXX","created_at":"2026-05-18T12:30:07Z"},{"alias_kind":"pith_short_16","alias_value":"AEU2J6UD2BXXE3C7","created_at":"2026-05-18T12:30:07Z"},{"alias_kind":"pith_short_8","alias_value":"AEU2J6UD","created_at":"2026-05-18T12:30:07Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:AEU2J6UD2BXXE3C7SOVRK26H5J","target":"record","payload":{"canonical_record":{"source":{"id":"1608.02692","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-08-09T05:24:04Z","cross_cats_sorted":["cs.PL"],"title_canon_sha256":"a8a10ef107ac29d103cf082dd8fefc685c934f93dff256632e297876ebc8309c","abstract_canon_sha256":"130dfbf49b2b11b8b510ffadce8c3f4b74bf2b82e9d59f6a70b29a64fae6f633"},"schema_version":"1.0"},"canonical_sha256":"0129a4fa83d06f726c5f93ab156bc7ea6959bdde389805a607f833fa3ddcf86c","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:09:33.898780Z","signature_b64":"CxVteOH3uRLp3vtPgWtLdsfUjiQV30dU/Fa+x+UgQoC14Bb7uxiAgQv75guPGxSTwzVNZqWG+d3T6KAUj9hMCA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"0129a4fa83d06f726c5f93ab156bc7ea6959bdde389805a607f833fa3ddcf86c","last_reissued_at":"2026-05-18T01:09:33.898304Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:09:33.898304Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1608.02692","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-05-18T01:09:33Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"gF8NbkSaeIptvyVTJ8Mg240zj6Vlggzn6LnruSlDsXNHZOvcYEP2GD7pYHFaimHPIvtTYSEnvWivAeIuocddCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-03T07:12:26.159335Z"},"content_sha256":"8be23033c88b691721782d16ab93da0fc63cd1f088c05b9266b31a40083f3716","schema_version":"1.0","event_id":"sha256:8be23033c88b691721782d16ab93da0fc63cd1f088c05b9266b31a40083f3716"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:AEU2J6UD2BXXE3C7SOVRK26H5J","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Proceedings Combined 23rd International Workshop on Expressiveness in Concurrency and 13th Workshop on Structural Operational Semantics","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.PL"],"primary_cat":"cs.LO","authors_text":"Daniel Gebler, Kirstin Peters","submitted_at":"2016-08-09T05:24:04Z","abstract_excerpt":"This volume contains the proceedings of the Combined 23nd International Workshop on Expressiveness in Concurrency and the 13th Workshop on Structural Operational Semantics (EXPRESS/SOS 2016) which was held on 22 August 2016 in Qu\\'ebec City, Canada, as an affiliated workshop of CONCUR 2016, the 27th International Conference on Concurrency Theory. The EXPRESS workshops aim at bringing together researchers interested in the expressiveness of various formal systems and semantic notions, particularly in the field of concurrency. Their focus has traditionally been on the comparison between programm"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1608.02692","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":""},"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-05-18T01:09:33Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"nlSLKkIjIFi+8QXdAHhZfaq1uazZibjG5hCqL9VIzS4WuIKx4mHfq9bD61XhuqNMDJO0fic4LTjkiRewIlNfAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-03T07:12:26.159687Z"},"content_sha256":"f5236ed266daf36faee587d532085634279c560aa464f217fa43cb557027f7b4","schema_version":"1.0","event_id":"sha256:f5236ed266daf36faee587d532085634279c560aa464f217fa43cb557027f7b4"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/AEU2J6UD2BXXE3C7SOVRK26H5J/bundle.json","state_url":"https://pith.science/pith/AEU2J6UD2BXXE3C7SOVRK26H5J/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/AEU2J6UD2BXXE3C7SOVRK26H5J/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-06-03T07:12:26Z","links":{"resolver":"https://pith.science/pith/AEU2J6UD2BXXE3C7SOVRK26H5J","bundle":"https://pith.science/pith/AEU2J6UD2BXXE3C7SOVRK26H5J/bundle.json","state":"https://pith.science/pith/AEU2J6UD2BXXE3C7SOVRK26H5J/state.json","well_known_bundle":"https://pith.science/.well-known/pith/AEU2J6UD2BXXE3C7SOVRK26H5J/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:AEU2J6UD2BXXE3C7SOVRK26H5J","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":"130dfbf49b2b11b8b510ffadce8c3f4b74bf2b82e9d59f6a70b29a64fae6f633","cross_cats_sorted":["cs.PL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-08-09T05:24:04Z","title_canon_sha256":"a8a10ef107ac29d103cf082dd8fefc685c934f93dff256632e297876ebc8309c"},"schema_version":"1.0","source":{"id":"1608.02692","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1608.02692","created_at":"2026-05-18T01:09:33Z"},{"alias_kind":"arxiv_version","alias_value":"1608.02692v1","created_at":"2026-05-18T01:09:33Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1608.02692","created_at":"2026-05-18T01:09:33Z"},{"alias_kind":"pith_short_12","alias_value":"AEU2J6UD2BXX","created_at":"2026-05-18T12:30:07Z"},{"alias_kind":"pith_short_16","alias_value":"AEU2J6UD2BXXE3C7","created_at":"2026-05-18T12:30:07Z"},{"alias_kind":"pith_short_8","alias_value":"AEU2J6UD","created_at":"2026-05-18T12:30:07Z"}],"graph_snapshots":[{"event_id":"sha256:f5236ed266daf36faee587d532085634279c560aa464f217fa43cb557027f7b4","target":"graph","created_at":"2026-05-18T01:09:33Z","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 the Combined 23nd International Workshop on Expressiveness in Concurrency and the 13th Workshop on Structural Operational Semantics (EXPRESS/SOS 2016) which was held on 22 August 2016 in Qu\\'ebec City, Canada, as an affiliated workshop of CONCUR 2016, the 27th International Conference on Concurrency Theory. The EXPRESS workshops aim at bringing together researchers interested in the expressiveness of various formal systems and semantic notions, particularly in the field of concurrency. Their focus has traditionally been on the comparison between programm","authors_text":"Daniel Gebler, Kirstin Peters","cross_cats":["cs.PL"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-08-09T05:24:04Z","title":"Proceedings Combined 23rd International Workshop on Expressiveness in Concurrency and 13th Workshop on Structural Operational Semantics"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1608.02692","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:8be23033c88b691721782d16ab93da0fc63cd1f088c05b9266b31a40083f3716","target":"record","created_at":"2026-05-18T01:09:33Z","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":"130dfbf49b2b11b8b510ffadce8c3f4b74bf2b82e9d59f6a70b29a64fae6f633","cross_cats_sorted":["cs.PL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-08-09T05:24:04Z","title_canon_sha256":"a8a10ef107ac29d103cf082dd8fefc685c934f93dff256632e297876ebc8309c"},"schema_version":"1.0","source":{"id":"1608.02692","kind":"arxiv","version":1}},"canonical_sha256":"0129a4fa83d06f726c5f93ab156bc7ea6959bdde389805a607f833fa3ddcf86c","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"0129a4fa83d06f726c5f93ab156bc7ea6959bdde389805a607f833fa3ddcf86c","first_computed_at":"2026-05-18T01:09:33.898304Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:09:33.898304Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"CxVteOH3uRLp3vtPgWtLdsfUjiQV30dU/Fa+x+UgQoC14Bb7uxiAgQv75guPGxSTwzVNZqWG+d3T6KAUj9hMCA==","signature_status":"signed_v1","signed_at":"2026-05-18T01:09:33.898780Z","signed_message":"canonical_sha256_bytes"},"source_id":"1608.02692","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:8be23033c88b691721782d16ab93da0fc63cd1f088c05b9266b31a40083f3716","sha256:f5236ed266daf36faee587d532085634279c560aa464f217fa43cb557027f7b4"],"state_sha256":"570a52692c1b8317bda80e15e6063fb8e58102b0c0628ab96bfa5e021956ae76"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"xDbh/4RgqD2swqAMw58HBnHY+pH+5ka0Rwe4dEEsk/5ZzdTKz2F5xDj7X45eUBC8D10WJO1ewPeWMeDbt7Y0Ag==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-03T07:12:26.161742Z","bundle_sha256":"861da16504d8768eb409cc1333a04776277868328a6682bb2a1b5d4b9cc7e0ab"}}