{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2011:7I46EBISUXMPDRNCPYSGHW3QGL","short_pith_number":"pith:7I46EBIS","canonical_record":{"source":{"id":"1108.2796","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2011-08-13T14:27:59Z","cross_cats_sorted":["cs.PL"],"title_canon_sha256":"665325ebd0f17ea7a4d490ddccba9f5088578461501cf0a5e57166b610fb43bc","abstract_canon_sha256":"63d31505ff648b8b2d15987ce01ddd91eabc4e717aa9ca1f1aa3dc6266a0ffdb"},"schema_version":"1.0"},"canonical_sha256":"fa39e20512a5d8f1c5a27e2463db7032cae48dbf341e133d8ed0bd941be37ba8","source":{"kind":"arxiv","id":"1108.2796","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1108.2796","created_at":"2026-05-18T04:15:35Z"},{"alias_kind":"arxiv_version","alias_value":"1108.2796v1","created_at":"2026-05-18T04:15:35Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1108.2796","created_at":"2026-05-18T04:15:35Z"},{"alias_kind":"pith_short_12","alias_value":"7I46EBISUXMP","created_at":"2026-05-18T12:26:22Z"},{"alias_kind":"pith_short_16","alias_value":"7I46EBISUXMPDRNC","created_at":"2026-05-18T12:26:22Z"},{"alias_kind":"pith_short_8","alias_value":"7I46EBIS","created_at":"2026-05-18T12:26:22Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2011:7I46EBISUXMPDRNCPYSGHW3QGL","target":"record","payload":{"canonical_record":{"source":{"id":"1108.2796","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2011-08-13T14:27:59Z","cross_cats_sorted":["cs.PL"],"title_canon_sha256":"665325ebd0f17ea7a4d490ddccba9f5088578461501cf0a5e57166b610fb43bc","abstract_canon_sha256":"63d31505ff648b8b2d15987ce01ddd91eabc4e717aa9ca1f1aa3dc6266a0ffdb"},"schema_version":"1.0"},"canonical_sha256":"fa39e20512a5d8f1c5a27e2463db7032cae48dbf341e133d8ed0bd941be37ba8","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T04:15:35.604069Z","signature_b64":"y2xiRGCLv3aiyC0cqtR/+VK8QwJkyPZc4n6ZURtaagkk2czbWPeovyNfjXrWTgpHgiDA20n2QhcpqgHgzo+DBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"fa39e20512a5d8f1c5a27e2463db7032cae48dbf341e133d8ed0bd941be37ba8","last_reissued_at":"2026-05-18T04:15:35.603560Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T04:15:35.603560Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1108.2796","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-18T04:15:35Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"hk/jJAlMcSsIpvHOqCDWiLfjqxJDoGjw7o/+2Fo4OHxlafxv26pMuSd7FfgVGqlLkVYxJ48CwQfaYeuA1WMCDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-11T08:27:30.120286Z"},"content_sha256":"9eebf7d6c1454152d4bf3409d470250c6c525c8c20a0a45c380b322c26081b5b","schema_version":"1.0","event_id":"sha256:9eebf7d6c1454152d4bf3409d470250c6c525c8c20a0a45c380b322c26081b5b"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2011:7I46EBISUXMPDRNCPYSGHW3QGL","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Proceedings Eight Workshop on Structural Operational Semantics 2011","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.PL"],"primary_cat":"cs.LO","authors_text":"M.A. Reniers (Eindhoven University of Technology, P. Sobocinski (University of Southampton, the Netherlands), United Kingdom)","submitted_at":"2011-08-13T14:27:59Z","abstract_excerpt":"This volume contains the proceedings of SOS 2011, the Eight Workshop on Structural Operational Semantics, held on the 5th of September 2011 in Aachen, Germany as an affiliated workshop of CONCUR 2011, the 22nd International Conference on Concurrency Theory.\n  Structural operational semantics (SOS) provides a framework for giving operational semantics to programming and specification languages. A growing number of programming languages from commercial and academic spheres have been given usable semantic descriptions by means of structural operational semantics. Because of its intuitive appeal a"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1108.2796","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-18T04:15:35Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"+Fg47GTKI6BsMO5NU8OiEqfnptojwAMRqhugB780TEM8y5dVn7+dKVG/Kv5X5tzADWqla5KWCBJpgURtLCjsDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-11T08:27:30.121033Z"},"content_sha256":"771a9aa3cf8512e1520abe20237469a7c32d5dafdf0ce6a1e9c6748c73c1c00a","schema_version":"1.0","event_id":"sha256:771a9aa3cf8512e1520abe20237469a7c32d5dafdf0ce6a1e9c6748c73c1c00a"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/7I46EBISUXMPDRNCPYSGHW3QGL/bundle.json","state_url":"https://pith.science/pith/7I46EBISUXMPDRNCPYSGHW3QGL/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/7I46EBISUXMPDRNCPYSGHW3QGL/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-11T08:27:30Z","links":{"resolver":"https://pith.science/pith/7I46EBISUXMPDRNCPYSGHW3QGL","bundle":"https://pith.science/pith/7I46EBISUXMPDRNCPYSGHW3QGL/bundle.json","state":"https://pith.science/pith/7I46EBISUXMPDRNCPYSGHW3QGL/state.json","well_known_bundle":"https://pith.science/.well-known/pith/7I46EBISUXMPDRNCPYSGHW3QGL/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2011:7I46EBISUXMPDRNCPYSGHW3QGL","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":"63d31505ff648b8b2d15987ce01ddd91eabc4e717aa9ca1f1aa3dc6266a0ffdb","cross_cats_sorted":["cs.PL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2011-08-13T14:27:59Z","title_canon_sha256":"665325ebd0f17ea7a4d490ddccba9f5088578461501cf0a5e57166b610fb43bc"},"schema_version":"1.0","source":{"id":"1108.2796","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1108.2796","created_at":"2026-05-18T04:15:35Z"},{"alias_kind":"arxiv_version","alias_value":"1108.2796v1","created_at":"2026-05-18T04:15:35Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1108.2796","created_at":"2026-05-18T04:15:35Z"},{"alias_kind":"pith_short_12","alias_value":"7I46EBISUXMP","created_at":"2026-05-18T12:26:22Z"},{"alias_kind":"pith_short_16","alias_value":"7I46EBISUXMPDRNC","created_at":"2026-05-18T12:26:22Z"},{"alias_kind":"pith_short_8","alias_value":"7I46EBIS","created_at":"2026-05-18T12:26:22Z"}],"graph_snapshots":[{"event_id":"sha256:771a9aa3cf8512e1520abe20237469a7c32d5dafdf0ce6a1e9c6748c73c1c00a","target":"graph","created_at":"2026-05-18T04:15:35Z","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 SOS 2011, the Eight Workshop on Structural Operational Semantics, held on the 5th of September 2011 in Aachen, Germany as an affiliated workshop of CONCUR 2011, the 22nd International Conference on Concurrency Theory.\n  Structural operational semantics (SOS) provides a framework for giving operational semantics to programming and specification languages. A growing number of programming languages from commercial and academic spheres have been given usable semantic descriptions by means of structural operational semantics. Because of its intuitive appeal a","authors_text":"M.A. Reniers (Eindhoven University of Technology, P. Sobocinski (University of Southampton, the Netherlands), United Kingdom)","cross_cats":["cs.PL"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2011-08-13T14:27:59Z","title":"Proceedings Eight Workshop on Structural Operational Semantics 2011"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1108.2796","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:9eebf7d6c1454152d4bf3409d470250c6c525c8c20a0a45c380b322c26081b5b","target":"record","created_at":"2026-05-18T04:15:35Z","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":"63d31505ff648b8b2d15987ce01ddd91eabc4e717aa9ca1f1aa3dc6266a0ffdb","cross_cats_sorted":["cs.PL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2011-08-13T14:27:59Z","title_canon_sha256":"665325ebd0f17ea7a4d490ddccba9f5088578461501cf0a5e57166b610fb43bc"},"schema_version":"1.0","source":{"id":"1108.2796","kind":"arxiv","version":1}},"canonical_sha256":"fa39e20512a5d8f1c5a27e2463db7032cae48dbf341e133d8ed0bd941be37ba8","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"fa39e20512a5d8f1c5a27e2463db7032cae48dbf341e133d8ed0bd941be37ba8","first_computed_at":"2026-05-18T04:15:35.603560Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T04:15:35.603560Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"y2xiRGCLv3aiyC0cqtR/+VK8QwJkyPZc4n6ZURtaagkk2czbWPeovyNfjXrWTgpHgiDA20n2QhcpqgHgzo+DBg==","signature_status":"signed_v1","signed_at":"2026-05-18T04:15:35.604069Z","signed_message":"canonical_sha256_bytes"},"source_id":"1108.2796","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:9eebf7d6c1454152d4bf3409d470250c6c525c8c20a0a45c380b322c26081b5b","sha256:771a9aa3cf8512e1520abe20237469a7c32d5dafdf0ce6a1e9c6748c73c1c00a"],"state_sha256":"f0419b9ef1f0b0e21ce7280c648a223c23d9901719793245bc25caa294c41960"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"AiARB/Mdm/px/774j5d/ewtmC0E/CbMtpCvoI9wcfTGgewGusfsYLX2bxBL4RbC1+pEFUyIH02s+MtuXYcWnAA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-11T08:27:30.125351Z","bundle_sha256":"e3e03ebebdb8eefcf907c00363b94ac911620b2384e44db7b628210ddc217b86"}}