{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2012:CHC6T362QZ4XHZ22I4LQC6WJII","short_pith_number":"pith:CHC6T362","canonical_record":{"source":{"id":"1210.2035","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2012-10-07T08:00:19Z","cross_cats_sorted":[],"title_canon_sha256":"00ca72260b5fb1a7e172dc695116e19feb502cf5f053930a92f094015105d4d4","abstract_canon_sha256":"41dfe2dc2015f85f5a13a45c98acf5ba1f63414431459f64f79811c70e77c57f"},"schema_version":"1.0"},"canonical_sha256":"11c5e9efda867973e75a4717017ac9421062cdbc51ce18ebf22052bf5c60a0c0","source":{"kind":"arxiv","id":"1210.2035","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1210.2035","created_at":"2026-05-18T03:43:51Z"},{"alias_kind":"arxiv_version","alias_value":"1210.2035v1","created_at":"2026-05-18T03:43:51Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1210.2035","created_at":"2026-05-18T03:43:51Z"},{"alias_kind":"pith_short_12","alias_value":"CHC6T362QZ4X","created_at":"2026-05-18T12:27:01Z"},{"alias_kind":"pith_short_16","alias_value":"CHC6T362QZ4XHZ22","created_at":"2026-05-18T12:27:01Z"},{"alias_kind":"pith_short_8","alias_value":"CHC6T362","created_at":"2026-05-18T12:27:01Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2012:CHC6T362QZ4XHZ22I4LQC6WJII","target":"record","payload":{"canonical_record":{"source":{"id":"1210.2035","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2012-10-07T08:00:19Z","cross_cats_sorted":[],"title_canon_sha256":"00ca72260b5fb1a7e172dc695116e19feb502cf5f053930a92f094015105d4d4","abstract_canon_sha256":"41dfe2dc2015f85f5a13a45c98acf5ba1f63414431459f64f79811c70e77c57f"},"schema_version":"1.0"},"canonical_sha256":"11c5e9efda867973e75a4717017ac9421062cdbc51ce18ebf22052bf5c60a0c0","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:43:51.307385Z","signature_b64":"+UDfql8r/vwqtAlwXwhJ/Hfz1jtAKzFhZDKm4WUyqTmY+5omAJ9a0i0SHbHQEEoP42pwrQN2Rz0nK23e0CTLAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"11c5e9efda867973e75a4717017ac9421062cdbc51ce18ebf22052bf5c60a0c0","last_reissued_at":"2026-05-18T03:43:51.306881Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:43:51.306881Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1210.2035","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-18T03:43:51Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Or5jwJbUh5XTh6kpQWgHAd9P9QzHT8wexvCYm3Uwtvn/Y4SNHGDAf1Qn2oScC1AT16WLfQ3wykN3DA5oFxoxDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-07T23:21:25.732124Z"},"content_sha256":"ffac13237949118f260c2d6c1a3675346ea29f3595007b5d544dad9c982cd8dc","schema_version":"1.0","event_id":"sha256:ffac13237949118f260c2d6c1a3675346ea29f3595007b5d544dad9c982cd8dc"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2012:CHC6T362QZ4XHZ22I4LQC6WJII","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Synthesis of Reactive Protocols for Vehicle-to-Vehicle Communication","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SY","authors_text":"Clemens Wiltsche, Richard M. Murray, Ufuk Topcu","submitted_at":"2012-10-07T08:00:19Z","abstract_excerpt":"We present a synthesis method for communication protocols for active safety applications that satisfy certain formal specifications on quality of service requirements. The protocols are developed to provide reliable communication services for automobile active safety applications. The synthesis method transforms a specification into a distributed implementation of senders and receivers that together satisfy the quality of service requirements by transmitting messages over an unreliable medium. We develop a specification language and an execution model for the implementations, and demonstrate t"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1210.2035","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-18T03:43:51Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"hRz1F+2qxLb+f1zm+ywJoKUbSTC923RuT2nYObMlovCh7qoIeha4rXegLEc/Ys4D7Qp7N8PAUv2Oh+8B2I6dAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-07T23:21:25.732826Z"},"content_sha256":"dc5c45c7243c7f11b5adf1092a07b2f0e46b17e6bb733d711ed2cfd93c3838a1","schema_version":"1.0","event_id":"sha256:dc5c45c7243c7f11b5adf1092a07b2f0e46b17e6bb733d711ed2cfd93c3838a1"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/CHC6T362QZ4XHZ22I4LQC6WJII/bundle.json","state_url":"https://pith.science/pith/CHC6T362QZ4XHZ22I4LQC6WJII/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/CHC6T362QZ4XHZ22I4LQC6WJII/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-07T23:21:25Z","links":{"resolver":"https://pith.science/pith/CHC6T362QZ4XHZ22I4LQC6WJII","bundle":"https://pith.science/pith/CHC6T362QZ4XHZ22I4LQC6WJII/bundle.json","state":"https://pith.science/pith/CHC6T362QZ4XHZ22I4LQC6WJII/state.json","well_known_bundle":"https://pith.science/.well-known/pith/CHC6T362QZ4XHZ22I4LQC6WJII/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2012:CHC6T362QZ4XHZ22I4LQC6WJII","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":"41dfe2dc2015f85f5a13a45c98acf5ba1f63414431459f64f79811c70e77c57f","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2012-10-07T08:00:19Z","title_canon_sha256":"00ca72260b5fb1a7e172dc695116e19feb502cf5f053930a92f094015105d4d4"},"schema_version":"1.0","source":{"id":"1210.2035","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1210.2035","created_at":"2026-05-18T03:43:51Z"},{"alias_kind":"arxiv_version","alias_value":"1210.2035v1","created_at":"2026-05-18T03:43:51Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1210.2035","created_at":"2026-05-18T03:43:51Z"},{"alias_kind":"pith_short_12","alias_value":"CHC6T362QZ4X","created_at":"2026-05-18T12:27:01Z"},{"alias_kind":"pith_short_16","alias_value":"CHC6T362QZ4XHZ22","created_at":"2026-05-18T12:27:01Z"},{"alias_kind":"pith_short_8","alias_value":"CHC6T362","created_at":"2026-05-18T12:27:01Z"}],"graph_snapshots":[{"event_id":"sha256:dc5c45c7243c7f11b5adf1092a07b2f0e46b17e6bb733d711ed2cfd93c3838a1","target":"graph","created_at":"2026-05-18T03:43:51Z","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":"We present a synthesis method for communication protocols for active safety applications that satisfy certain formal specifications on quality of service requirements. The protocols are developed to provide reliable communication services for automobile active safety applications. The synthesis method transforms a specification into a distributed implementation of senders and receivers that together satisfy the quality of service requirements by transmitting messages over an unreliable medium. We develop a specification language and an execution model for the implementations, and demonstrate t","authors_text":"Clemens Wiltsche, Richard M. Murray, Ufuk Topcu","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2012-10-07T08:00:19Z","title":"Synthesis of Reactive Protocols for Vehicle-to-Vehicle Communication"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1210.2035","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:ffac13237949118f260c2d6c1a3675346ea29f3595007b5d544dad9c982cd8dc","target":"record","created_at":"2026-05-18T03:43:51Z","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":"41dfe2dc2015f85f5a13a45c98acf5ba1f63414431459f64f79811c70e77c57f","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2012-10-07T08:00:19Z","title_canon_sha256":"00ca72260b5fb1a7e172dc695116e19feb502cf5f053930a92f094015105d4d4"},"schema_version":"1.0","source":{"id":"1210.2035","kind":"arxiv","version":1}},"canonical_sha256":"11c5e9efda867973e75a4717017ac9421062cdbc51ce18ebf22052bf5c60a0c0","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"11c5e9efda867973e75a4717017ac9421062cdbc51ce18ebf22052bf5c60a0c0","first_computed_at":"2026-05-18T03:43:51.306881Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:43:51.306881Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"+UDfql8r/vwqtAlwXwhJ/Hfz1jtAKzFhZDKm4WUyqTmY+5omAJ9a0i0SHbHQEEoP42pwrQN2Rz0nK23e0CTLAA==","signature_status":"signed_v1","signed_at":"2026-05-18T03:43:51.307385Z","signed_message":"canonical_sha256_bytes"},"source_id":"1210.2035","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:ffac13237949118f260c2d6c1a3675346ea29f3595007b5d544dad9c982cd8dc","sha256:dc5c45c7243c7f11b5adf1092a07b2f0e46b17e6bb733d711ed2cfd93c3838a1"],"state_sha256":"281c6000d9f79371f75eeac3951f784fbd0d6e4167c03af6cd044e7a5a66e504"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"gx22lJ7i2+wErDb7RT8L//FU+niykWD4HDYTVsoynF7mHfTj+ktbsj++2F0DoRYRYLU6HSAL8lzKsHHEhJYxBA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-07T23:21:25.736435Z","bundle_sha256":"55f8e27bce4241c28b27c4738787cea28fd6908705fb8d6b4194fc4673963bef"}}