{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:BKRG5JJQE56PDPNV4Z66B54UGC","short_pith_number":"pith:BKRG5JJQ","canonical_record":{"source":{"id":"1808.08071","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-08-24T10:08:05Z","cross_cats_sorted":["cs.PL"],"title_canon_sha256":"26923702a89523cbc5e30cdd9df9e6c8e5776f07773bb60aa6ed34f5682e2a33","abstract_canon_sha256":"cf7c1dc28c0f6e9f26c8b8a57b63203966b96662afda0d9c40c8c017ca76e5d5"},"schema_version":"1.0"},"canonical_sha256":"0aa26ea530277cf1bdb5e67de0f7943083a4180f9aac1a6f65482021ad554d63","source":{"kind":"arxiv","id":"1808.08071","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1808.08071","created_at":"2026-05-18T00:07:22Z"},{"alias_kind":"arxiv_version","alias_value":"1808.08071v1","created_at":"2026-05-18T00:07:22Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1808.08071","created_at":"2026-05-18T00:07:22Z"},{"alias_kind":"pith_short_12","alias_value":"BKRG5JJQE56P","created_at":"2026-05-18T12:32:16Z"},{"alias_kind":"pith_short_16","alias_value":"BKRG5JJQE56PDPNV","created_at":"2026-05-18T12:32:16Z"},{"alias_kind":"pith_short_8","alias_value":"BKRG5JJQ","created_at":"2026-05-18T12:32:16Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:BKRG5JJQE56PDPNV4Z66B54UGC","target":"record","payload":{"canonical_record":{"source":{"id":"1808.08071","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-08-24T10:08:05Z","cross_cats_sorted":["cs.PL"],"title_canon_sha256":"26923702a89523cbc5e30cdd9df9e6c8e5776f07773bb60aa6ed34f5682e2a33","abstract_canon_sha256":"cf7c1dc28c0f6e9f26c8b8a57b63203966b96662afda0d9c40c8c017ca76e5d5"},"schema_version":"1.0"},"canonical_sha256":"0aa26ea530277cf1bdb5e67de0f7943083a4180f9aac1a6f65482021ad554d63","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:07:22.507234Z","signature_b64":"lhTNbaHIhxNrKTB7kVpHK+Hq7gWcBbRcaGw29CSB3rSSvbQI4TAPlolxAE4BJr8Pf374WFDtfOiFruzxbMB5Bg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"0aa26ea530277cf1bdb5e67de0f7943083a4180f9aac1a6f65482021ad554d63","last_reissued_at":"2026-05-18T00:07:22.506427Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:07:22.506427Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1808.08071","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-18T00:07:22Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"mmfXsTYcT2BvH9yOcMwU+AXOvpg65IjldUw9JMJD1wOrPTdR1xvviNg0AMZiXyQOqOOeG4Mz8fkxFwDhYoKbCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-05T12:15:53.079330Z"},"content_sha256":"16e4f795def65cc7deb565284e240fddc29340664fb37ed40953941bb860c268","schema_version":"1.0","event_id":"sha256:16e4f795def65cc7deb565284e240fddc29340664fb37ed40953941bb860c268"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:BKRG5JJQE56PDPNV4Z66B54UGC","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Proceedings Combined 25th International Workshop on Expressiveness in Concurrency and 15th 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":"Italy), Jorge A. P\\'erez (University of Groningen, Simone Tini (University of Insubria, the Netherlands)","submitted_at":"2018-08-24T10:08:05Z","abstract_excerpt":"This volume contains the proceedings of the Combined 25th International Workshop on Expressiveness in Concurrency and the 15th Workshop on Structural Operational Semantics (EXPRESS/SOS 2018), which was held on September 3, 2018, in Beijing, China, as an affiliated workshop of CONCUR 2018, the 29th 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 programmin"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1808.08071","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-18T00:07:22Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"MK0OElSIp7AeLVWgw14+G38FuKFMgVHUJiUQ+8DYiU5SZUeQc3TO1XDgzjwvaplOC31hQnUnnsrg0sPv2NNuCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-05T12:15:53.079683Z"},"content_sha256":"3a35ef831d5a8dabbbf32d33d5543dcbac9ff1a51497cee34a8b8e45d0980b53","schema_version":"1.0","event_id":"sha256:3a35ef831d5a8dabbbf32d33d5543dcbac9ff1a51497cee34a8b8e45d0980b53"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/BKRG5JJQE56PDPNV4Z66B54UGC/bundle.json","state_url":"https://pith.science/pith/BKRG5JJQE56PDPNV4Z66B54UGC/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/BKRG5JJQE56PDPNV4Z66B54UGC/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-05T12:15:53Z","links":{"resolver":"https://pith.science/pith/BKRG5JJQE56PDPNV4Z66B54UGC","bundle":"https://pith.science/pith/BKRG5JJQE56PDPNV4Z66B54UGC/bundle.json","state":"https://pith.science/pith/BKRG5JJQE56PDPNV4Z66B54UGC/state.json","well_known_bundle":"https://pith.science/.well-known/pith/BKRG5JJQE56PDPNV4Z66B54UGC/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:BKRG5JJQE56PDPNV4Z66B54UGC","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":"cf7c1dc28c0f6e9f26c8b8a57b63203966b96662afda0d9c40c8c017ca76e5d5","cross_cats_sorted":["cs.PL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-08-24T10:08:05Z","title_canon_sha256":"26923702a89523cbc5e30cdd9df9e6c8e5776f07773bb60aa6ed34f5682e2a33"},"schema_version":"1.0","source":{"id":"1808.08071","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1808.08071","created_at":"2026-05-18T00:07:22Z"},{"alias_kind":"arxiv_version","alias_value":"1808.08071v1","created_at":"2026-05-18T00:07:22Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1808.08071","created_at":"2026-05-18T00:07:22Z"},{"alias_kind":"pith_short_12","alias_value":"BKRG5JJQE56P","created_at":"2026-05-18T12:32:16Z"},{"alias_kind":"pith_short_16","alias_value":"BKRG5JJQE56PDPNV","created_at":"2026-05-18T12:32:16Z"},{"alias_kind":"pith_short_8","alias_value":"BKRG5JJQ","created_at":"2026-05-18T12:32:16Z"}],"graph_snapshots":[{"event_id":"sha256:3a35ef831d5a8dabbbf32d33d5543dcbac9ff1a51497cee34a8b8e45d0980b53","target":"graph","created_at":"2026-05-18T00:07:22Z","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 25th International Workshop on Expressiveness in Concurrency and the 15th Workshop on Structural Operational Semantics (EXPRESS/SOS 2018), which was held on September 3, 2018, in Beijing, China, as an affiliated workshop of CONCUR 2018, the 29th 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 programmin","authors_text":"Italy), Jorge A. P\\'erez (University of Groningen, Simone Tini (University of Insubria, the Netherlands)","cross_cats":["cs.PL"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-08-24T10:08:05Z","title":"Proceedings Combined 25th International Workshop on Expressiveness in Concurrency and 15th Workshop on Structural Operational Semantics"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1808.08071","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:16e4f795def65cc7deb565284e240fddc29340664fb37ed40953941bb860c268","target":"record","created_at":"2026-05-18T00:07:22Z","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":"cf7c1dc28c0f6e9f26c8b8a57b63203966b96662afda0d9c40c8c017ca76e5d5","cross_cats_sorted":["cs.PL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-08-24T10:08:05Z","title_canon_sha256":"26923702a89523cbc5e30cdd9df9e6c8e5776f07773bb60aa6ed34f5682e2a33"},"schema_version":"1.0","source":{"id":"1808.08071","kind":"arxiv","version":1}},"canonical_sha256":"0aa26ea530277cf1bdb5e67de0f7943083a4180f9aac1a6f65482021ad554d63","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"0aa26ea530277cf1bdb5e67de0f7943083a4180f9aac1a6f65482021ad554d63","first_computed_at":"2026-05-18T00:07:22.506427Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:07:22.506427Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"lhTNbaHIhxNrKTB7kVpHK+Hq7gWcBbRcaGw29CSB3rSSvbQI4TAPlolxAE4BJr8Pf374WFDtfOiFruzxbMB5Bg==","signature_status":"signed_v1","signed_at":"2026-05-18T00:07:22.507234Z","signed_message":"canonical_sha256_bytes"},"source_id":"1808.08071","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:16e4f795def65cc7deb565284e240fddc29340664fb37ed40953941bb860c268","sha256:3a35ef831d5a8dabbbf32d33d5543dcbac9ff1a51497cee34a8b8e45d0980b53"],"state_sha256":"dc502ca684feeb4f7cc80a10826612c7ca26ee65e2fd6879bfcdfdcc700e4fcd"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"72eyuncr9WSX87CWpMmFI4uKeo715oJZQfH/fI2YpcQjx8RDDwcEw1aEIudmzX5AtegF6CwJVJRr1ec4NLADAQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-05T12:15:53.081681Z","bundle_sha256":"b5654e87e062a130a714ec15fafd1f1068e8f649c7f4e090bd2781c20fe923d3"}}