{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:GZHQTVJQEY3RJ6J2VGC5K33Z5O","short_pith_number":"pith:GZHQTVJQ","canonical_record":{"source":{"id":"1709.00049","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-08-31T19:32:45Z","cross_cats_sorted":["cs.PL"],"title_canon_sha256":"2768b23eb23e4c1b0d813c03cdaa191e5561f8cf7085032441b481d1eda9a4fb","abstract_canon_sha256":"dfabf8d31e6fd58f957a1789a341b83e916330a33d0c7b634a3ae64fbc13367a"},"schema_version":"1.0"},"canonical_sha256":"364f09d530263714f93aa985d56f79ebbe82adbdcea51589420da880ef9c276c","source":{"kind":"arxiv","id":"1709.00049","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1709.00049","created_at":"2026-05-18T00:36:13Z"},{"alias_kind":"arxiv_version","alias_value":"1709.00049v1","created_at":"2026-05-18T00:36:13Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1709.00049","created_at":"2026-05-18T00:36:13Z"},{"alias_kind":"pith_short_12","alias_value":"GZHQTVJQEY3R","created_at":"2026-05-18T12:31:18Z"},{"alias_kind":"pith_short_16","alias_value":"GZHQTVJQEY3RJ6J2","created_at":"2026-05-18T12:31:18Z"},{"alias_kind":"pith_short_8","alias_value":"GZHQTVJQ","created_at":"2026-05-18T12:31:18Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:GZHQTVJQEY3RJ6J2VGC5K33Z5O","target":"record","payload":{"canonical_record":{"source":{"id":"1709.00049","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-08-31T19:32:45Z","cross_cats_sorted":["cs.PL"],"title_canon_sha256":"2768b23eb23e4c1b0d813c03cdaa191e5561f8cf7085032441b481d1eda9a4fb","abstract_canon_sha256":"dfabf8d31e6fd58f957a1789a341b83e916330a33d0c7b634a3ae64fbc13367a"},"schema_version":"1.0"},"canonical_sha256":"364f09d530263714f93aa985d56f79ebbe82adbdcea51589420da880ef9c276c","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:36:13.562817Z","signature_b64":"swL5bNoAuj6D4YAjadrQmbUvLrSArB3CJ/2uyhou8hN0RhR7fV4R0pqFgkRrfTnt2EqaYpnyoP4FlEvRMWiQBQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"364f09d530263714f93aa985d56f79ebbe82adbdcea51589420da880ef9c276c","last_reissued_at":"2026-05-18T00:36:13.562327Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:36:13.562327Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1709.00049","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:36:13Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"4EEz8jek42wcMHYXBp8VIzOkXuYOFdFcu+2nQxZnWqGYAU+fgT+4aexB/9qvQhn+HHiI6eYsTEDdxC5Lptl6Dg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-04T03:13:52.846071Z"},"content_sha256":"b5d39daff6a1a61bf8d2c4b3db75bc8899a8fdea24712e5a945dac2f6d6f4a85","schema_version":"1.0","event_id":"sha256:b5d39daff6a1a61bf8d2c4b3db75bc8899a8fdea24712e5a945dac2f6d6f4a85"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:GZHQTVJQEY3RJ6J2VGC5K33Z5O","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Proceedings Combined 24th International Workshop on Expressiveness in Concurrency and 14th 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":"Kirstin Peters, Simone Tini","submitted_at":"2017-08-31T19:32:45Z","abstract_excerpt":"This volume contains the proceedings of the Combined 24th International Workshop on Expressiveness in Concurrency and the 14th Workshop on Structural Operational Semantics (EXPRESS/SOS 2017) which was held on 04 September 2017 in Berlin, Germany, as an affiliated workshop of CONCUR 2017, the 28th 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 programming"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1709.00049","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:36:13Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"R4nrR+brq4lgf9Jc4iMsgpRl/7Ug3ccei7wfgzD4ylOIvci6bryqVQaWniRUOKGnSHbq+c8fQXwSFiasTcrsBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-04T03:13:52.846445Z"},"content_sha256":"30dbe970469e0ed418e8fa8240f9ad65e559db3d1fcf5320445c0be03f26e998","schema_version":"1.0","event_id":"sha256:30dbe970469e0ed418e8fa8240f9ad65e559db3d1fcf5320445c0be03f26e998"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/GZHQTVJQEY3RJ6J2VGC5K33Z5O/bundle.json","state_url":"https://pith.science/pith/GZHQTVJQEY3RJ6J2VGC5K33Z5O/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/GZHQTVJQEY3RJ6J2VGC5K33Z5O/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-04T03:13:52Z","links":{"resolver":"https://pith.science/pith/GZHQTVJQEY3RJ6J2VGC5K33Z5O","bundle":"https://pith.science/pith/GZHQTVJQEY3RJ6J2VGC5K33Z5O/bundle.json","state":"https://pith.science/pith/GZHQTVJQEY3RJ6J2VGC5K33Z5O/state.json","well_known_bundle":"https://pith.science/.well-known/pith/GZHQTVJQEY3RJ6J2VGC5K33Z5O/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:GZHQTVJQEY3RJ6J2VGC5K33Z5O","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":"dfabf8d31e6fd58f957a1789a341b83e916330a33d0c7b634a3ae64fbc13367a","cross_cats_sorted":["cs.PL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-08-31T19:32:45Z","title_canon_sha256":"2768b23eb23e4c1b0d813c03cdaa191e5561f8cf7085032441b481d1eda9a4fb"},"schema_version":"1.0","source":{"id":"1709.00049","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1709.00049","created_at":"2026-05-18T00:36:13Z"},{"alias_kind":"arxiv_version","alias_value":"1709.00049v1","created_at":"2026-05-18T00:36:13Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1709.00049","created_at":"2026-05-18T00:36:13Z"},{"alias_kind":"pith_short_12","alias_value":"GZHQTVJQEY3R","created_at":"2026-05-18T12:31:18Z"},{"alias_kind":"pith_short_16","alias_value":"GZHQTVJQEY3RJ6J2","created_at":"2026-05-18T12:31:18Z"},{"alias_kind":"pith_short_8","alias_value":"GZHQTVJQ","created_at":"2026-05-18T12:31:18Z"}],"graph_snapshots":[{"event_id":"sha256:30dbe970469e0ed418e8fa8240f9ad65e559db3d1fcf5320445c0be03f26e998","target":"graph","created_at":"2026-05-18T00:36:13Z","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 24th International Workshop on Expressiveness in Concurrency and the 14th Workshop on Structural Operational Semantics (EXPRESS/SOS 2017) which was held on 04 September 2017 in Berlin, Germany, as an affiliated workshop of CONCUR 2017, the 28th 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 programming","authors_text":"Kirstin Peters, Simone Tini","cross_cats":["cs.PL"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-08-31T19:32:45Z","title":"Proceedings Combined 24th International Workshop on Expressiveness in Concurrency and 14th Workshop on Structural Operational Semantics"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1709.00049","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:b5d39daff6a1a61bf8d2c4b3db75bc8899a8fdea24712e5a945dac2f6d6f4a85","target":"record","created_at":"2026-05-18T00:36:13Z","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":"dfabf8d31e6fd58f957a1789a341b83e916330a33d0c7b634a3ae64fbc13367a","cross_cats_sorted":["cs.PL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-08-31T19:32:45Z","title_canon_sha256":"2768b23eb23e4c1b0d813c03cdaa191e5561f8cf7085032441b481d1eda9a4fb"},"schema_version":"1.0","source":{"id":"1709.00049","kind":"arxiv","version":1}},"canonical_sha256":"364f09d530263714f93aa985d56f79ebbe82adbdcea51589420da880ef9c276c","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"364f09d530263714f93aa985d56f79ebbe82adbdcea51589420da880ef9c276c","first_computed_at":"2026-05-18T00:36:13.562327Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:36:13.562327Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"swL5bNoAuj6D4YAjadrQmbUvLrSArB3CJ/2uyhou8hN0RhR7fV4R0pqFgkRrfTnt2EqaYpnyoP4FlEvRMWiQBQ==","signature_status":"signed_v1","signed_at":"2026-05-18T00:36:13.562817Z","signed_message":"canonical_sha256_bytes"},"source_id":"1709.00049","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:b5d39daff6a1a61bf8d2c4b3db75bc8899a8fdea24712e5a945dac2f6d6f4a85","sha256:30dbe970469e0ed418e8fa8240f9ad65e559db3d1fcf5320445c0be03f26e998"],"state_sha256":"76ae2aa8a1e640d34c9b53bc4fb37a027ae1a140af532287fdd792620ec5a898"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"RVJ5oyK6aoH7FNqtLrXFNkYrJjkaoEjQQ3spLujQ0gOkD6rpPFGp42hCMWQRMQCopv3TkZac/VA5/2TPMc2UCA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-04T03:13:52.848801Z","bundle_sha256":"14a699a6ce19d0fb718c9ed91883ba51b15fbb74f631974c4ce2bf4bc2b2cc0b"}}