{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2012:32WU67M3HALBMVI2JZVV7RXXXE","short_pith_number":"pith:32WU67M3","canonical_record":{"source":{"id":"1201.4449","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2012-01-21T08:30:11Z","cross_cats_sorted":[],"title_canon_sha256":"ca3b743a7188c53798992ea949d9f948be0dae132163fac668d9cff83789e434","abstract_canon_sha256":"cf3cb12b87f1f4edf24dec79d8c98739164f7f32e2b9c5857f1a0c7aa94986a9"},"schema_version":"1.0"},"canonical_sha256":"dead4f7d9b381616551a4e6b5fc6f7b91fdec0442486c8467ae4f81004ef3da2","source":{"kind":"arxiv","id":"1201.4449","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1201.4449","created_at":"2026-05-18T03:52:54Z"},{"alias_kind":"arxiv_version","alias_value":"1201.4449v2","created_at":"2026-05-18T03:52:54Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1201.4449","created_at":"2026-05-18T03:52:54Z"},{"alias_kind":"pith_short_12","alias_value":"32WU67M3HALB","created_at":"2026-05-18T12:26:50Z"},{"alias_kind":"pith_short_16","alias_value":"32WU67M3HALBMVI2","created_at":"2026-05-18T12:26:50Z"},{"alias_kind":"pith_short_8","alias_value":"32WU67M3","created_at":"2026-05-18T12:26:50Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2012:32WU67M3HALBMVI2JZVV7RXXXE","target":"record","payload":{"canonical_record":{"source":{"id":"1201.4449","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2012-01-21T08:30:11Z","cross_cats_sorted":[],"title_canon_sha256":"ca3b743a7188c53798992ea949d9f948be0dae132163fac668d9cff83789e434","abstract_canon_sha256":"cf3cb12b87f1f4edf24dec79d8c98739164f7f32e2b9c5857f1a0c7aa94986a9"},"schema_version":"1.0"},"canonical_sha256":"dead4f7d9b381616551a4e6b5fc6f7b91fdec0442486c8467ae4f81004ef3da2","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:52:54.698679Z","signature_b64":"Bwi9jIsNiseCLfaw6EwiLobuAsyFkOnmW8w83r7PsOonhcIA4RCtxUOn6anDfqpcGZZpRAcUx5VZb5w46EDoAg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"dead4f7d9b381616551a4e6b5fc6f7b91fdec0442486c8467ae4f81004ef3da2","last_reissued_at":"2026-05-18T03:52:54.697839Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:52:54.697839Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1201.4449","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-18T03:52:54Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ChA/tgJHxnquE/KNzGsmZb5IMbymPx6pG6UZKEcCqIEc6WBuK2MMGImB6/ZK7vmRwO6CZKxYtIHk4QvXpVZ/CQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T08:51:09.965490Z"},"content_sha256":"c2450123fe394f6809f4a420b133d60fea9bbc14b60079c50f6e72b00865494c","schema_version":"1.0","event_id":"sha256:c2450123fe394f6809f4a420b133d60fea9bbc14b60079c50f6e72b00865494c"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2012:32WU67M3HALBMVI2JZVV7RXXXE","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Faster Algorithms for Alternating Refinement Relations","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Krishnendu Chatterjee, Pritish Kamath, Siddhesh Chaubal","submitted_at":"2012-01-21T08:30:11Z","abstract_excerpt":"One central issue in the formal design and analysis of reactive systems is the notion of refinement that asks whether all behaviors of the implementation is allowed by the specification. The local interpretation of behavior leads to the notion of simulation. Alternating transition systems (ATSs) provide a general model for composite reactive systems, and the simulation relation for ATSs is known as alternating simulation. The simulation relation for fair transition systems is called fair simulation. In this work our main contributions are as follows: (1) We present an improved algorithm for fa"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1201.4449","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-18T03:52:54Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"/wUdoodhAgDvRX9sGnH3VOJ8I85KpUuZLMUljB3Ny2xGPJaGgQ3FdJHS0ZebrYtnLkGmfFgFBGodhioL4ekiBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T08:51:09.966102Z"},"content_sha256":"b262ef68c4c3dfeaf3a5eac579839e3b250e0e67015fb122df33506251fc6757","schema_version":"1.0","event_id":"sha256:b262ef68c4c3dfeaf3a5eac579839e3b250e0e67015fb122df33506251fc6757"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/32WU67M3HALBMVI2JZVV7RXXXE/bundle.json","state_url":"https://pith.science/pith/32WU67M3HALBMVI2JZVV7RXXXE/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/32WU67M3HALBMVI2JZVV7RXXXE/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-05-26T08:51:09Z","links":{"resolver":"https://pith.science/pith/32WU67M3HALBMVI2JZVV7RXXXE","bundle":"https://pith.science/pith/32WU67M3HALBMVI2JZVV7RXXXE/bundle.json","state":"https://pith.science/pith/32WU67M3HALBMVI2JZVV7RXXXE/state.json","well_known_bundle":"https://pith.science/.well-known/pith/32WU67M3HALBMVI2JZVV7RXXXE/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2012:32WU67M3HALBMVI2JZVV7RXXXE","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":"cf3cb12b87f1f4edf24dec79d8c98739164f7f32e2b9c5857f1a0c7aa94986a9","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2012-01-21T08:30:11Z","title_canon_sha256":"ca3b743a7188c53798992ea949d9f948be0dae132163fac668d9cff83789e434"},"schema_version":"1.0","source":{"id":"1201.4449","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1201.4449","created_at":"2026-05-18T03:52:54Z"},{"alias_kind":"arxiv_version","alias_value":"1201.4449v2","created_at":"2026-05-18T03:52:54Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1201.4449","created_at":"2026-05-18T03:52:54Z"},{"alias_kind":"pith_short_12","alias_value":"32WU67M3HALB","created_at":"2026-05-18T12:26:50Z"},{"alias_kind":"pith_short_16","alias_value":"32WU67M3HALBMVI2","created_at":"2026-05-18T12:26:50Z"},{"alias_kind":"pith_short_8","alias_value":"32WU67M3","created_at":"2026-05-18T12:26:50Z"}],"graph_snapshots":[{"event_id":"sha256:b262ef68c4c3dfeaf3a5eac579839e3b250e0e67015fb122df33506251fc6757","target":"graph","created_at":"2026-05-18T03:52:54Z","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":"One central issue in the formal design and analysis of reactive systems is the notion of refinement that asks whether all behaviors of the implementation is allowed by the specification. The local interpretation of behavior leads to the notion of simulation. Alternating transition systems (ATSs) provide a general model for composite reactive systems, and the simulation relation for ATSs is known as alternating simulation. The simulation relation for fair transition systems is called fair simulation. In this work our main contributions are as follows: (1) We present an improved algorithm for fa","authors_text":"Krishnendu Chatterjee, Pritish Kamath, Siddhesh Chaubal","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2012-01-21T08:30:11Z","title":"Faster Algorithms for Alternating Refinement Relations"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1201.4449","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:c2450123fe394f6809f4a420b133d60fea9bbc14b60079c50f6e72b00865494c","target":"record","created_at":"2026-05-18T03:52:54Z","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":"cf3cb12b87f1f4edf24dec79d8c98739164f7f32e2b9c5857f1a0c7aa94986a9","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2012-01-21T08:30:11Z","title_canon_sha256":"ca3b743a7188c53798992ea949d9f948be0dae132163fac668d9cff83789e434"},"schema_version":"1.0","source":{"id":"1201.4449","kind":"arxiv","version":2}},"canonical_sha256":"dead4f7d9b381616551a4e6b5fc6f7b91fdec0442486c8467ae4f81004ef3da2","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"dead4f7d9b381616551a4e6b5fc6f7b91fdec0442486c8467ae4f81004ef3da2","first_computed_at":"2026-05-18T03:52:54.697839Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:52:54.697839Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Bwi9jIsNiseCLfaw6EwiLobuAsyFkOnmW8w83r7PsOonhcIA4RCtxUOn6anDfqpcGZZpRAcUx5VZb5w46EDoAg==","signature_status":"signed_v1","signed_at":"2026-05-18T03:52:54.698679Z","signed_message":"canonical_sha256_bytes"},"source_id":"1201.4449","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:c2450123fe394f6809f4a420b133d60fea9bbc14b60079c50f6e72b00865494c","sha256:b262ef68c4c3dfeaf3a5eac579839e3b250e0e67015fb122df33506251fc6757"],"state_sha256":"78ada0fc45c556879a28c83257ee49811cf77785c0e54598e8d2ebcf41270b4d"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"iA9C+UagD/PbYj0tzS+3EQspGlfHRKiq5VlNgcrpOpGFIXfR3KDADa4bQGOj2OUk+7i5elpIyMyqEqekGHJxDg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-26T08:51:09.969506Z","bundle_sha256":"32a7f371f932b2c00e4c1e0d5a21c61f5fac194ed365e97f6fe1501d84cf5493"}}