{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2014:KDIR743WKRWKXUUMYNSCP6SM5M","short_pith_number":"pith:KDIR743W","canonical_record":{"source":{"id":"1404.1215","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2014-04-04T11:14:55Z","cross_cats_sorted":[],"title_canon_sha256":"f6970bca4db87b2c700710895a8074b593dc09cf01da86df50ea7593f2fbe0a3","abstract_canon_sha256":"c23c2f25a451032815f650b78b05ebec15c75e3b7e6a5c11ae48fd28d6a9f549"},"schema_version":"1.0"},"canonical_sha256":"50d11ff376546cabd28cc36427fa4ceb13fbe9779d0391bda746dd909ae56e03","source":{"kind":"arxiv","id":"1404.1215","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1404.1215","created_at":"2026-05-18T02:52:47Z"},{"alias_kind":"arxiv_version","alias_value":"1404.1215v2","created_at":"2026-05-18T02:52:47Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1404.1215","created_at":"2026-05-18T02:52:47Z"},{"alias_kind":"pith_short_12","alias_value":"KDIR743WKRWK","created_at":"2026-05-18T12:28:35Z"},{"alias_kind":"pith_short_16","alias_value":"KDIR743WKRWKXUUM","created_at":"2026-05-18T12:28:35Z"},{"alias_kind":"pith_short_8","alias_value":"KDIR743W","created_at":"2026-05-18T12:28:35Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2014:KDIR743WKRWKXUUMYNSCP6SM5M","target":"record","payload":{"canonical_record":{"source":{"id":"1404.1215","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2014-04-04T11:14:55Z","cross_cats_sorted":[],"title_canon_sha256":"f6970bca4db87b2c700710895a8074b593dc09cf01da86df50ea7593f2fbe0a3","abstract_canon_sha256":"c23c2f25a451032815f650b78b05ebec15c75e3b7e6a5c11ae48fd28d6a9f549"},"schema_version":"1.0"},"canonical_sha256":"50d11ff376546cabd28cc36427fa4ceb13fbe9779d0391bda746dd909ae56e03","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:52:47.798311Z","signature_b64":"RgLgNmg98jXJwkgpC0MiIG1hK7IYuNc+JpkhYl54mR6zN3YdTObW7p7z1cFMDY0wmd9bTN9hj3UWRCp+/A11BA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"50d11ff376546cabd28cc36427fa4ceb13fbe9779d0391bda746dd909ae56e03","last_reissued_at":"2026-05-18T02:52:47.797723Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:52:47.797723Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1404.1215","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-18T02:52:47Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Vu6RK/tL9TOyRfoJiejjbiMMMz+lTmUXNPK30gikVb8i55hZRXMXqmk9ZfhHUKmR75QBUdESIUOXpujJsydqDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-09T04:32:23.650291Z"},"content_sha256":"d16c164b79f5a341624f12f3caaa01f8a0b78698b9d7f5338dc20d358cdf7373","schema_version":"1.0","event_id":"sha256:d16c164b79f5a341624f12f3caaa01f8a0b78698b9d7f5338dc20d358cdf7373"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2014:KDIR743WKRWKXUUMYNSCP6SM5M","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Coalgebraic Weak Bisimulation from Recursive Equations over Monads","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Dirk Pattinson, Sergey Goncharov","submitted_at":"2014-04-04T11:14:55Z","abstract_excerpt":"Strong bisimulation for labelled transition systems is one of the most fundamental equivalences in process algebra, and has been generalised to numerous classes of systems that exhibit richer transition behaviour. Nearly all of the ensuing notions are instances of the more general notion of coalgebraic bisimulation. Weak bisimulation, however, has so far been much less amenable to a coalgebraic treatment. Here we attempt to close this gap by giving a coalgebraic treatment of (parametrized) weak equivalences, including weak bisimulation. Our analysis requires that the functor defining the trans"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1404.1215","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-18T02:52:47Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"le969vTW2qHDluroWEBbFDyc0KnvT8mjiSVe70wxf66Xp12UFPAg4uBL6Z2JR+dKPFQTmphhXdZ9qOD2FiiJCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-09T04:32:23.650995Z"},"content_sha256":"2083b8dab8550f6aabb5fe824fb2365a2ac7d235a382c491eac02bbfc43b4632","schema_version":"1.0","event_id":"sha256:2083b8dab8550f6aabb5fe824fb2365a2ac7d235a382c491eac02bbfc43b4632"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/KDIR743WKRWKXUUMYNSCP6SM5M/bundle.json","state_url":"https://pith.science/pith/KDIR743WKRWKXUUMYNSCP6SM5M/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/KDIR743WKRWKXUUMYNSCP6SM5M/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-09T04:32:23Z","links":{"resolver":"https://pith.science/pith/KDIR743WKRWKXUUMYNSCP6SM5M","bundle":"https://pith.science/pith/KDIR743WKRWKXUUMYNSCP6SM5M/bundle.json","state":"https://pith.science/pith/KDIR743WKRWKXUUMYNSCP6SM5M/state.json","well_known_bundle":"https://pith.science/.well-known/pith/KDIR743WKRWKXUUMYNSCP6SM5M/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:KDIR743WKRWKXUUMYNSCP6SM5M","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":"c23c2f25a451032815f650b78b05ebec15c75e3b7e6a5c11ae48fd28d6a9f549","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2014-04-04T11:14:55Z","title_canon_sha256":"f6970bca4db87b2c700710895a8074b593dc09cf01da86df50ea7593f2fbe0a3"},"schema_version":"1.0","source":{"id":"1404.1215","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1404.1215","created_at":"2026-05-18T02:52:47Z"},{"alias_kind":"arxiv_version","alias_value":"1404.1215v2","created_at":"2026-05-18T02:52:47Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1404.1215","created_at":"2026-05-18T02:52:47Z"},{"alias_kind":"pith_short_12","alias_value":"KDIR743WKRWK","created_at":"2026-05-18T12:28:35Z"},{"alias_kind":"pith_short_16","alias_value":"KDIR743WKRWKXUUM","created_at":"2026-05-18T12:28:35Z"},{"alias_kind":"pith_short_8","alias_value":"KDIR743W","created_at":"2026-05-18T12:28:35Z"}],"graph_snapshots":[{"event_id":"sha256:2083b8dab8550f6aabb5fe824fb2365a2ac7d235a382c491eac02bbfc43b4632","target":"graph","created_at":"2026-05-18T02:52: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":"Strong bisimulation for labelled transition systems is one of the most fundamental equivalences in process algebra, and has been generalised to numerous classes of systems that exhibit richer transition behaviour. Nearly all of the ensuing notions are instances of the more general notion of coalgebraic bisimulation. Weak bisimulation, however, has so far been much less amenable to a coalgebraic treatment. Here we attempt to close this gap by giving a coalgebraic treatment of (parametrized) weak equivalences, including weak bisimulation. Our analysis requires that the functor defining the trans","authors_text":"Dirk Pattinson, Sergey Goncharov","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2014-04-04T11:14:55Z","title":"Coalgebraic Weak Bisimulation from Recursive Equations over Monads"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1404.1215","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:d16c164b79f5a341624f12f3caaa01f8a0b78698b9d7f5338dc20d358cdf7373","target":"record","created_at":"2026-05-18T02:52: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":"c23c2f25a451032815f650b78b05ebec15c75e3b7e6a5c11ae48fd28d6a9f549","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2014-04-04T11:14:55Z","title_canon_sha256":"f6970bca4db87b2c700710895a8074b593dc09cf01da86df50ea7593f2fbe0a3"},"schema_version":"1.0","source":{"id":"1404.1215","kind":"arxiv","version":2}},"canonical_sha256":"50d11ff376546cabd28cc36427fa4ceb13fbe9779d0391bda746dd909ae56e03","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"50d11ff376546cabd28cc36427fa4ceb13fbe9779d0391bda746dd909ae56e03","first_computed_at":"2026-05-18T02:52:47.797723Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:52:47.797723Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"RgLgNmg98jXJwkgpC0MiIG1hK7IYuNc+JpkhYl54mR6zN3YdTObW7p7z1cFMDY0wmd9bTN9hj3UWRCp+/A11BA==","signature_status":"signed_v1","signed_at":"2026-05-18T02:52:47.798311Z","signed_message":"canonical_sha256_bytes"},"source_id":"1404.1215","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:d16c164b79f5a341624f12f3caaa01f8a0b78698b9d7f5338dc20d358cdf7373","sha256:2083b8dab8550f6aabb5fe824fb2365a2ac7d235a382c491eac02bbfc43b4632"],"state_sha256":"524354f4204877b7a501284504a57427a28d5f945f225275e4311195f531a876"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"hNcSZ1DALHzWCY4Xs2NJcGsCqmbcTuVVeaU1DEwrDNCIC+lJSwebjUyb3p1jiys8FK9MxQHCy2sPnAeWRZcQCQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-09T04:32:23.654782Z","bundle_sha256":"3a9f4b4aac767c513bb8b7cd2449db79a5f572ccb0d95e755e2f34ccea30c2a1"}}