{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2014:X7D6K3U5SMKBS2ZF5564KX5XPF","short_pith_number":"pith:X7D6K3U5","canonical_record":{"source":{"id":"1408.1271","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2014-08-06T13:21:29Z","cross_cats_sorted":["cs.PL"],"title_canon_sha256":"dff52579fe0e3749b1f538749396fc4bdd0f3bade9f3fe975a1faa7633d3bcab","abstract_canon_sha256":"94b0ab348fc377040f3d53b7deb535fb8760190f79dd32d65ace7a9ea35a7c13"},"schema_version":"1.0"},"canonical_sha256":"bfc7e56e9d9314196b25ef7dc55fb7795c03966152fefa3aba11ddbc4ebeb724","source":{"kind":"arxiv","id":"1408.1271","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1408.1271","created_at":"2026-05-18T02:45:47Z"},{"alias_kind":"arxiv_version","alias_value":"1408.1271v1","created_at":"2026-05-18T02:45:47Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1408.1271","created_at":"2026-05-18T02:45:47Z"},{"alias_kind":"pith_short_12","alias_value":"X7D6K3U5SMKB","created_at":"2026-05-18T12:28:57Z"},{"alias_kind":"pith_short_16","alias_value":"X7D6K3U5SMKBS2ZF","created_at":"2026-05-18T12:28:57Z"},{"alias_kind":"pith_short_8","alias_value":"X7D6K3U5","created_at":"2026-05-18T12:28:57Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2014:X7D6K3U5SMKBS2ZF5564KX5XPF","target":"record","payload":{"canonical_record":{"source":{"id":"1408.1271","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2014-08-06T13:21:29Z","cross_cats_sorted":["cs.PL"],"title_canon_sha256":"dff52579fe0e3749b1f538749396fc4bdd0f3bade9f3fe975a1faa7633d3bcab","abstract_canon_sha256":"94b0ab348fc377040f3d53b7deb535fb8760190f79dd32d65ace7a9ea35a7c13"},"schema_version":"1.0"},"canonical_sha256":"bfc7e56e9d9314196b25ef7dc55fb7795c03966152fefa3aba11ddbc4ebeb724","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:45:47.710160Z","signature_b64":"hZnzkAkyYFRnQFodXsdH2TVi9Ob8rTVn1Seb2+4BxCfQUbR8Grhjkep9xAl75dJrhFOY6EpAnl0WlwFugApvAQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"bfc7e56e9d9314196b25ef7dc55fb7795c03966152fefa3aba11ddbc4ebeb724","last_reissued_at":"2026-05-18T02:45:47.709380Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:45:47.709380Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1408.1271","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-18T02:45:47Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ehddx8yAigPaVMgHeA3nXrnLrc0ZC46V5y2kwtqKpyWV/2oTq1FvhRfU5AwstkLiyFQgeVf+y4xX3QUAdpCnDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-26T04:54:48.088474Z"},"content_sha256":"c79afc477a985bd6041a64817b7f16dae3567e0bf59b99620799fb9ddee0ad76","schema_version":"1.0","event_id":"sha256:c79afc477a985bd6041a64817b7f16dae3567e0bf59b99620799fb9ddee0ad76"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2014:X7D6K3U5SMKBS2ZF5564KX5XPF","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Proceedings Combined 21st International Workshop on Expressiveness in Concurrency and 11th 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":"Johannes Borgstr\\\"om (Uppsala University), Silvia Crafa (University of Padova)","submitted_at":"2014-08-06T13:21:29Z","abstract_excerpt":"This volume contains the proceedings of the Combined 21st International Workshop on Expressiveness in Concurrency and the 11th Workshop on Structural Operational Semantics (EXPRESS/SOS 2014) which was held on 1st September 2014 in Rome, Italy, as an affiliated workshop of CONCUR 2014, the 25th International Conference on Concurrency Theory.  \n  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":"1408.1271","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-18T02:45:47Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"F8gbOlcZ9/HgLFJ/RUeSxuHadOjPUaCYFbNS100+35eJNCXCRVI4QObwGtdNoWLnNWjXzRfquBnnbVO4D0mJAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-26T04:54:48.089049Z"},"content_sha256":"9bd8cb77993c68829355172c00e69b9a23c8215c292a9de3203454d27ca971be","schema_version":"1.0","event_id":"sha256:9bd8cb77993c68829355172c00e69b9a23c8215c292a9de3203454d27ca971be"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/X7D6K3U5SMKBS2ZF5564KX5XPF/bundle.json","state_url":"https://pith.science/pith/X7D6K3U5SMKBS2ZF5564KX5XPF/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/X7D6K3U5SMKBS2ZF5564KX5XPF/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-26T04:54:48Z","links":{"resolver":"https://pith.science/pith/X7D6K3U5SMKBS2ZF5564KX5XPF","bundle":"https://pith.science/pith/X7D6K3U5SMKBS2ZF5564KX5XPF/bundle.json","state":"https://pith.science/pith/X7D6K3U5SMKBS2ZF5564KX5XPF/state.json","well_known_bundle":"https://pith.science/.well-known/pith/X7D6K3U5SMKBS2ZF5564KX5XPF/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:X7D6K3U5SMKBS2ZF5564KX5XPF","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":"94b0ab348fc377040f3d53b7deb535fb8760190f79dd32d65ace7a9ea35a7c13","cross_cats_sorted":["cs.PL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2014-08-06T13:21:29Z","title_canon_sha256":"dff52579fe0e3749b1f538749396fc4bdd0f3bade9f3fe975a1faa7633d3bcab"},"schema_version":"1.0","source":{"id":"1408.1271","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1408.1271","created_at":"2026-05-18T02:45:47Z"},{"alias_kind":"arxiv_version","alias_value":"1408.1271v1","created_at":"2026-05-18T02:45:47Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1408.1271","created_at":"2026-05-18T02:45:47Z"},{"alias_kind":"pith_short_12","alias_value":"X7D6K3U5SMKB","created_at":"2026-05-18T12:28:57Z"},{"alias_kind":"pith_short_16","alias_value":"X7D6K3U5SMKBS2ZF","created_at":"2026-05-18T12:28:57Z"},{"alias_kind":"pith_short_8","alias_value":"X7D6K3U5","created_at":"2026-05-18T12:28:57Z"}],"graph_snapshots":[{"event_id":"sha256:9bd8cb77993c68829355172c00e69b9a23c8215c292a9de3203454d27ca971be","target":"graph","created_at":"2026-05-18T02:45:47Z","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 21st International Workshop on Expressiveness in Concurrency and the 11th Workshop on Structural Operational Semantics (EXPRESS/SOS 2014) which was held on 1st September 2014 in Rome, Italy, as an affiliated workshop of CONCUR 2014, the 25th International Conference on Concurrency Theory.  \n  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":"Johannes Borgstr\\\"om (Uppsala University), Silvia Crafa (University of Padova)","cross_cats":["cs.PL"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2014-08-06T13:21:29Z","title":"Proceedings Combined 21st International Workshop on Expressiveness in Concurrency and 11th Workshop on Structural Operational Semantics"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1408.1271","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:c79afc477a985bd6041a64817b7f16dae3567e0bf59b99620799fb9ddee0ad76","target":"record","created_at":"2026-05-18T02:45:47Z","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":"94b0ab348fc377040f3d53b7deb535fb8760190f79dd32d65ace7a9ea35a7c13","cross_cats_sorted":["cs.PL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2014-08-06T13:21:29Z","title_canon_sha256":"dff52579fe0e3749b1f538749396fc4bdd0f3bade9f3fe975a1faa7633d3bcab"},"schema_version":"1.0","source":{"id":"1408.1271","kind":"arxiv","version":1}},"canonical_sha256":"bfc7e56e9d9314196b25ef7dc55fb7795c03966152fefa3aba11ddbc4ebeb724","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"bfc7e56e9d9314196b25ef7dc55fb7795c03966152fefa3aba11ddbc4ebeb724","first_computed_at":"2026-05-18T02:45:47.709380Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:45:47.709380Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"hZnzkAkyYFRnQFodXsdH2TVi9Ob8rTVn1Seb2+4BxCfQUbR8Grhjkep9xAl75dJrhFOY6EpAnl0WlwFugApvAQ==","signature_status":"signed_v1","signed_at":"2026-05-18T02:45:47.710160Z","signed_message":"canonical_sha256_bytes"},"source_id":"1408.1271","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:c79afc477a985bd6041a64817b7f16dae3567e0bf59b99620799fb9ddee0ad76","sha256:9bd8cb77993c68829355172c00e69b9a23c8215c292a9de3203454d27ca971be"],"state_sha256":"a2d5b132b35acbfdfcaf27983e39e2280aec4be926fac441f745287409d82f8f"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"aJP43Vs6OBW1PJliWgri+gv/0n97IOxtDDh+JCtboz3328dlsCW4yinrzArJQvK22w4FH1/hvm4DIYSjZymFBg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-26T04:54:48.091989Z","bundle_sha256":"e74f92f3f8e7cf8c8236a3475bcf10b10ee8fda05680afa40b135873e3ced7da"}}