{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2012:4R3BNUAKEAYV6IBKN33RIYECMO","short_pith_number":"pith:4R3BNUAK","canonical_record":{"source":{"id":"1209.2376","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2012-09-11T17:40:54Z","cross_cats_sorted":[],"title_canon_sha256":"770d21986782d1791902f2dd71f746f191fbbc8bf653ae87e21e2d1edcaa3f18","abstract_canon_sha256":"34a0fda070eb0d3794def4aed1bc24b3551af6e7ba47e80b4001ad64bcf63e5f"},"schema_version":"1.0"},"canonical_sha256":"e47616d00a20315f202a6ef714608263b2f95fed53154b99b7da2da162ac5955","source":{"kind":"arxiv","id":"1209.2376","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1209.2376","created_at":"2026-05-18T03:17:35Z"},{"alias_kind":"arxiv_version","alias_value":"1209.2376v2","created_at":"2026-05-18T03:17:35Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1209.2376","created_at":"2026-05-18T03:17:35Z"},{"alias_kind":"pith_short_12","alias_value":"4R3BNUAKEAYV","created_at":"2026-05-18T12:26:53Z"},{"alias_kind":"pith_short_16","alias_value":"4R3BNUAKEAYV6IBK","created_at":"2026-05-18T12:26:53Z"},{"alias_kind":"pith_short_8","alias_value":"4R3BNUAK","created_at":"2026-05-18T12:26:53Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2012:4R3BNUAKEAYV6IBKN33RIYECMO","target":"record","payload":{"canonical_record":{"source":{"id":"1209.2376","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2012-09-11T17:40:54Z","cross_cats_sorted":[],"title_canon_sha256":"770d21986782d1791902f2dd71f746f191fbbc8bf653ae87e21e2d1edcaa3f18","abstract_canon_sha256":"34a0fda070eb0d3794def4aed1bc24b3551af6e7ba47e80b4001ad64bcf63e5f"},"schema_version":"1.0"},"canonical_sha256":"e47616d00a20315f202a6ef714608263b2f95fed53154b99b7da2da162ac5955","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:17:35.481511Z","signature_b64":"Rw8NrpOVQIHe+DHtrMw7D8R51AmRPlQEpmvs7le3+citeToYnQ+uTCIJFNWF3LOA8jNdMElpxmcyGOyS276bBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"e47616d00a20315f202a6ef714608263b2f95fed53154b99b7da2da162ac5955","last_reissued_at":"2026-05-18T03:17:35.480958Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:17:35.480958Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1209.2376","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:17:35Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"48GhNfi7jS+5IA1MuwaHduxRSN+/a30pS58AgrsjJrpuHOEC4ejEF0UUrlbGPvmWXyFVSVNAioQN5W4g7tjtCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-24T17:00:18.241708Z"},"content_sha256":"bf24e13c4f49ea269dea28b401ed7cfb2454bd5e1a416a5a4b0a5d5162d6222b","schema_version":"1.0","event_id":"sha256:bf24e13c4f49ea269dea28b401ed7cfb2454bd5e1a416a5a4b0a5d5162d6222b"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2012:4R3BNUAKEAYV6IBKN33RIYECMO","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Two Way Concurrent Buffer System without Deadlock in Various Time Models Using Timed Automata","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.CR","authors_text":"Md Zeeshan, Rohit Mishra, Sanjay Singh","submitted_at":"2012-09-11T17:40:54Z","abstract_excerpt":"Two way buffer system is a system that exhibits transfer of data using two buffers concurrently. It includes processes that synchronize to exchange data with each other along with executing certain delays between these synchronizations. In existing Tiny Two Way Buffer System, both generators produce packets in half duplex manner in no time, deterministic time, and non deterministic time. Analysis of the model for above time options leads the model in deadlock. The model can be out of the deadlock if timings in the model is incorporated in alternative fashion. The generators produce packets aft"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1209.2376","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:17:35Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"WqxezIZvwsLtPCXWBNMjAPD+kgAcoOWpiSkN1rPmOKoTq/48UjaQwvgi2PjDe73G5QHpZwk52tu5wu+MaNKECA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-24T17:00:18.242061Z"},"content_sha256":"36185b9f5844195fa48e5920c991f0e58465c975b633c886a280712604926676","schema_version":"1.0","event_id":"sha256:36185b9f5844195fa48e5920c991f0e58465c975b633c886a280712604926676"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/4R3BNUAKEAYV6IBKN33RIYECMO/bundle.json","state_url":"https://pith.science/pith/4R3BNUAKEAYV6IBKN33RIYECMO/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/4R3BNUAKEAYV6IBKN33RIYECMO/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-24T17:00:18Z","links":{"resolver":"https://pith.science/pith/4R3BNUAKEAYV6IBKN33RIYECMO","bundle":"https://pith.science/pith/4R3BNUAKEAYV6IBKN33RIYECMO/bundle.json","state":"https://pith.science/pith/4R3BNUAKEAYV6IBKN33RIYECMO/state.json","well_known_bundle":"https://pith.science/.well-known/pith/4R3BNUAKEAYV6IBKN33RIYECMO/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2012:4R3BNUAKEAYV6IBKN33RIYECMO","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":"34a0fda070eb0d3794def4aed1bc24b3551af6e7ba47e80b4001ad64bcf63e5f","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2012-09-11T17:40:54Z","title_canon_sha256":"770d21986782d1791902f2dd71f746f191fbbc8bf653ae87e21e2d1edcaa3f18"},"schema_version":"1.0","source":{"id":"1209.2376","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1209.2376","created_at":"2026-05-18T03:17:35Z"},{"alias_kind":"arxiv_version","alias_value":"1209.2376v2","created_at":"2026-05-18T03:17:35Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1209.2376","created_at":"2026-05-18T03:17:35Z"},{"alias_kind":"pith_short_12","alias_value":"4R3BNUAKEAYV","created_at":"2026-05-18T12:26:53Z"},{"alias_kind":"pith_short_16","alias_value":"4R3BNUAKEAYV6IBK","created_at":"2026-05-18T12:26:53Z"},{"alias_kind":"pith_short_8","alias_value":"4R3BNUAK","created_at":"2026-05-18T12:26:53Z"}],"graph_snapshots":[{"event_id":"sha256:36185b9f5844195fa48e5920c991f0e58465c975b633c886a280712604926676","target":"graph","created_at":"2026-05-18T03:17: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":"Two way buffer system is a system that exhibits transfer of data using two buffers concurrently. It includes processes that synchronize to exchange data with each other along with executing certain delays between these synchronizations. In existing Tiny Two Way Buffer System, both generators produce packets in half duplex manner in no time, deterministic time, and non deterministic time. Analysis of the model for above time options leads the model in deadlock. The model can be out of the deadlock if timings in the model is incorporated in alternative fashion. The generators produce packets aft","authors_text":"Md Zeeshan, Rohit Mishra, Sanjay Singh","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2012-09-11T17:40:54Z","title":"Two Way Concurrent Buffer System without Deadlock in Various Time Models Using Timed Automata"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1209.2376","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:bf24e13c4f49ea269dea28b401ed7cfb2454bd5e1a416a5a4b0a5d5162d6222b","target":"record","created_at":"2026-05-18T03:17: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":"34a0fda070eb0d3794def4aed1bc24b3551af6e7ba47e80b4001ad64bcf63e5f","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2012-09-11T17:40:54Z","title_canon_sha256":"770d21986782d1791902f2dd71f746f191fbbc8bf653ae87e21e2d1edcaa3f18"},"schema_version":"1.0","source":{"id":"1209.2376","kind":"arxiv","version":2}},"canonical_sha256":"e47616d00a20315f202a6ef714608263b2f95fed53154b99b7da2da162ac5955","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"e47616d00a20315f202a6ef714608263b2f95fed53154b99b7da2da162ac5955","first_computed_at":"2026-05-18T03:17:35.480958Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:17:35.480958Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Rw8NrpOVQIHe+DHtrMw7D8R51AmRPlQEpmvs7le3+citeToYnQ+uTCIJFNWF3LOA8jNdMElpxmcyGOyS276bBw==","signature_status":"signed_v1","signed_at":"2026-05-18T03:17:35.481511Z","signed_message":"canonical_sha256_bytes"},"source_id":"1209.2376","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:bf24e13c4f49ea269dea28b401ed7cfb2454bd5e1a416a5a4b0a5d5162d6222b","sha256:36185b9f5844195fa48e5920c991f0e58465c975b633c886a280712604926676"],"state_sha256":"44657819ea208327f52aaf3e114252def30450d24345b3ef857d70f84e115798"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"uq3AZxO0rSr29XgHTizUJxaDAmM3KyRUCDwkyngjDuX48BBH7I9pMR0grcrF76vmqOxkBzvu+9N7QqitVfQUCw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-24T17:00:18.244628Z","bundle_sha256":"51dd54f4719584c2482f976b180d9f4bd1233cbb78968070974ad2cf5ca40671"}}