{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2011:S3BNSMB7BZ2XD2JW6LSGLTE2CH","short_pith_number":"pith:S3BNSMB7","canonical_record":{"source":{"id":"1103.0437","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2011-03-02T14:19:42Z","cross_cats_sorted":[],"title_canon_sha256":"6b7487ee36ea2f6d7812397b59b7291e10b81346574ee7b874d1b295d8a6a9bc","abstract_canon_sha256":"3dd28131fa77075336cb5cfc10a9fd8b93e3b44d8f54035b39f95c473576923c"},"schema_version":"1.0"},"canonical_sha256":"96c2d9303f0e7571e936f2e465cc9a11f906e10f45b17fc63b48630c5658f941","source":{"kind":"arxiv","id":"1103.0437","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1103.0437","created_at":"2026-05-18T01:37:39Z"},{"alias_kind":"arxiv_version","alias_value":"1103.0437v2","created_at":"2026-05-18T01:37:39Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1103.0437","created_at":"2026-05-18T01:37:39Z"},{"alias_kind":"pith_short_12","alias_value":"S3BNSMB7BZ2X","created_at":"2026-05-18T12:26:41Z"},{"alias_kind":"pith_short_16","alias_value":"S3BNSMB7BZ2XD2JW","created_at":"2026-05-18T12:26:41Z"},{"alias_kind":"pith_short_8","alias_value":"S3BNSMB7","created_at":"2026-05-18T12:26:41Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2011:S3BNSMB7BZ2XD2JW6LSGLTE2CH","target":"record","payload":{"canonical_record":{"source":{"id":"1103.0437","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2011-03-02T14:19:42Z","cross_cats_sorted":[],"title_canon_sha256":"6b7487ee36ea2f6d7812397b59b7291e10b81346574ee7b874d1b295d8a6a9bc","abstract_canon_sha256":"3dd28131fa77075336cb5cfc10a9fd8b93e3b44d8f54035b39f95c473576923c"},"schema_version":"1.0"},"canonical_sha256":"96c2d9303f0e7571e936f2e465cc9a11f906e10f45b17fc63b48630c5658f941","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:37:39.619851Z","signature_b64":"tQYp641UXvaHfAHVO+3kSbNzPmBPguaLIUQ/+SzQ0We2gkXuAw5xWKczVr2pzOS6LrHSahOYXeRZozYRD6FXAQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"96c2d9303f0e7571e936f2e465cc9a11f906e10f45b17fc63b48630c5658f941","last_reissued_at":"2026-05-18T01:37:39.619191Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:37:39.619191Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1103.0437","source_version":2,"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:37:39Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"I31InRM8N+9aXqblsfbR7BaKG56hpy3duHXZkdcV7IpclQb9ivGZ2PhnEnpOqR/hmaDnIqu7owa0SpjgQDYRAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-19T14:18:39.389583Z"},"content_sha256":"08c52318a71976373c94bfc119c7b9c2fdd9ed1f579c3cb497a26f67364d5e08","schema_version":"1.0","event_id":"sha256:08c52318a71976373c94bfc119c7b9c2fdd9ed1f579c3cb497a26f67364d5e08"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2011:S3BNSMB7BZ2XD2JW6LSGLTE2CH","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Symbolic and Asynchronous Semantics via Normalized Coalgebras","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Filippo Bonchi (CNRS - ENS, Lyon), Pisa), Ugo Montanari (Dipartimento di informatica","submitted_at":"2011-03-02T14:19:42Z","abstract_excerpt":"The operational semantics of interactive systems is usually described by labeled transition systems. Abstract semantics (that is defined in terms of bisimilarity) is characterized by the final morphism in some category of coalgebras. Since the behaviour of interactive systems is for many reasons infinite, symbolic semantics were introduced as a mean to define smaller, possibly finite, transition systems, by employing symbolic actions and avoiding some sources of infiniteness. Unfortunately, symbolic bisimilarity has a different shape with respect to ordinary bisimilarity, and thus the standard"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1103.0437","kind":"arxiv","version":2},"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:37:39Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"H/7/DvFLwqEk5mTDB/92eaRiHgt7FMkJRzOPzMuSttdSaQFbXa48akIEkr6EAaW55LrPnm16vvHMU7rJp6GuDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-19T14:18:39.389977Z"},"content_sha256":"0379a6c5d2dac83b980bcc5e097775223583d22ed61cafaf0bf8da7fd684bf78","schema_version":"1.0","event_id":"sha256:0379a6c5d2dac83b980bcc5e097775223583d22ed61cafaf0bf8da7fd684bf78"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/S3BNSMB7BZ2XD2JW6LSGLTE2CH/bundle.json","state_url":"https://pith.science/pith/S3BNSMB7BZ2XD2JW6LSGLTE2CH/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/S3BNSMB7BZ2XD2JW6LSGLTE2CH/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-07-19T14:18:39Z","links":{"resolver":"https://pith.science/pith/S3BNSMB7BZ2XD2JW6LSGLTE2CH","bundle":"https://pith.science/pith/S3BNSMB7BZ2XD2JW6LSGLTE2CH/bundle.json","state":"https://pith.science/pith/S3BNSMB7BZ2XD2JW6LSGLTE2CH/state.json","well_known_bundle":"https://pith.science/.well-known/pith/S3BNSMB7BZ2XD2JW6LSGLTE2CH/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2011:S3BNSMB7BZ2XD2JW6LSGLTE2CH","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":"3dd28131fa77075336cb5cfc10a9fd8b93e3b44d8f54035b39f95c473576923c","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2011-03-02T14:19:42Z","title_canon_sha256":"6b7487ee36ea2f6d7812397b59b7291e10b81346574ee7b874d1b295d8a6a9bc"},"schema_version":"1.0","source":{"id":"1103.0437","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1103.0437","created_at":"2026-05-18T01:37:39Z"},{"alias_kind":"arxiv_version","alias_value":"1103.0437v2","created_at":"2026-05-18T01:37:39Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1103.0437","created_at":"2026-05-18T01:37:39Z"},{"alias_kind":"pith_short_12","alias_value":"S3BNSMB7BZ2X","created_at":"2026-05-18T12:26:41Z"},{"alias_kind":"pith_short_16","alias_value":"S3BNSMB7BZ2XD2JW","created_at":"2026-05-18T12:26:41Z"},{"alias_kind":"pith_short_8","alias_value":"S3BNSMB7","created_at":"2026-05-18T12:26:41Z"}],"graph_snapshots":[{"event_id":"sha256:0379a6c5d2dac83b980bcc5e097775223583d22ed61cafaf0bf8da7fd684bf78","target":"graph","created_at":"2026-05-18T01:37:39Z","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":"The operational semantics of interactive systems is usually described by labeled transition systems. Abstract semantics (that is defined in terms of bisimilarity) is characterized by the final morphism in some category of coalgebras. Since the behaviour of interactive systems is for many reasons infinite, symbolic semantics were introduced as a mean to define smaller, possibly finite, transition systems, by employing symbolic actions and avoiding some sources of infiniteness. Unfortunately, symbolic bisimilarity has a different shape with respect to ordinary bisimilarity, and thus the standard","authors_text":"Filippo Bonchi (CNRS - ENS, Lyon), Pisa), Ugo Montanari (Dipartimento di informatica","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2011-03-02T14:19:42Z","title":"Symbolic and Asynchronous Semantics via Normalized Coalgebras"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1103.0437","kind":"arxiv","version":2},"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:08c52318a71976373c94bfc119c7b9c2fdd9ed1f579c3cb497a26f67364d5e08","target":"record","created_at":"2026-05-18T01:37:39Z","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":"3dd28131fa77075336cb5cfc10a9fd8b93e3b44d8f54035b39f95c473576923c","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2011-03-02T14:19:42Z","title_canon_sha256":"6b7487ee36ea2f6d7812397b59b7291e10b81346574ee7b874d1b295d8a6a9bc"},"schema_version":"1.0","source":{"id":"1103.0437","kind":"arxiv","version":2}},"canonical_sha256":"96c2d9303f0e7571e936f2e465cc9a11f906e10f45b17fc63b48630c5658f941","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"96c2d9303f0e7571e936f2e465cc9a11f906e10f45b17fc63b48630c5658f941","first_computed_at":"2026-05-18T01:37:39.619191Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:37:39.619191Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"tQYp641UXvaHfAHVO+3kSbNzPmBPguaLIUQ/+SzQ0We2gkXuAw5xWKczVr2pzOS6LrHSahOYXeRZozYRD6FXAQ==","signature_status":"signed_v1","signed_at":"2026-05-18T01:37:39.619851Z","signed_message":"canonical_sha256_bytes"},"source_id":"1103.0437","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:08c52318a71976373c94bfc119c7b9c2fdd9ed1f579c3cb497a26f67364d5e08","sha256:0379a6c5d2dac83b980bcc5e097775223583d22ed61cafaf0bf8da7fd684bf78"],"state_sha256":"f1cb4044bfe9988b03c551f033d4a2e772d786e3252715c6807c70db28b17f23"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"S3GaUzs8SF87ZajVBgyQI3lRVOFZw4qHcSX2CR6KyNWCrBraOYhePqiNtmSN3saURJH5uBrmrRHQuwrhsulQBA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-19T14:18:39.392201Z","bundle_sha256":"10ee064075fe4f2c95ecf3bd05b922eca0441c2628bc34aa5fc92ea2bb3b37e4"}}