{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:EH4E2TUMVE3PKWS7IKF5GZPP6X","short_pith_number":"pith:EH4E2TUM","canonical_record":{"source":{"id":"1705.02600","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-05-07T11:29:18Z","cross_cats_sorted":[],"title_canon_sha256":"d24edeaa2b4fff683e5616b78ef51fa78888e90d4a8fe7af08338f302da382c7","abstract_canon_sha256":"af494f8063a56ec34533250ecfb511b6d8ce6207c233b7ae6b05945649ed733f"},"schema_version":"1.0"},"canonical_sha256":"21f84d4e8ca936f55a5f428bd365eff5de2279c5d7e319ae19c359fb991475ca","source":{"kind":"arxiv","id":"1705.02600","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1705.02600","created_at":"2026-05-18T00:44:56Z"},{"alias_kind":"arxiv_version","alias_value":"1705.02600v1","created_at":"2026-05-18T00:44:56Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1705.02600","created_at":"2026-05-18T00:44:56Z"},{"alias_kind":"pith_short_12","alias_value":"EH4E2TUMVE3P","created_at":"2026-05-18T12:31:12Z"},{"alias_kind":"pith_short_16","alias_value":"EH4E2TUMVE3PKWS7","created_at":"2026-05-18T12:31:12Z"},{"alias_kind":"pith_short_8","alias_value":"EH4E2TUM","created_at":"2026-05-18T12:31:12Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:EH4E2TUMVE3PKWS7IKF5GZPP6X","target":"record","payload":{"canonical_record":{"source":{"id":"1705.02600","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-05-07T11:29:18Z","cross_cats_sorted":[],"title_canon_sha256":"d24edeaa2b4fff683e5616b78ef51fa78888e90d4a8fe7af08338f302da382c7","abstract_canon_sha256":"af494f8063a56ec34533250ecfb511b6d8ce6207c233b7ae6b05945649ed733f"},"schema_version":"1.0"},"canonical_sha256":"21f84d4e8ca936f55a5f428bd365eff5de2279c5d7e319ae19c359fb991475ca","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:44:56.086513Z","signature_b64":"yUsPbBZwgqti+uLuGXoG9hK+qYrNls2MBkBSTYGHGOmfnY1m1wZM5xhSztXrBQ51lTP2s6VKMsVj8Me6kYF5Ag==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"21f84d4e8ca936f55a5f428bd365eff5de2279c5d7e319ae19c359fb991475ca","last_reissued_at":"2026-05-18T00:44:56.085962Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:44:56.085962Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1705.02600","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-18T00:44:56Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Ew0W9Rz9eeEbYx0PCLKmm/NPVdRmOIy5Sg86funFCzyyeb1wtbXirOs6YhJj6yX6e7FIh891eOEwHybNQB4iBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-06T13:05:40.353669Z"},"content_sha256":"aad49dc4306193413f72f284cafd23b3298aac8f32c41417636a6418586c5a2a","schema_version":"1.0","event_id":"sha256:aad49dc4306193413f72f284cafd23b3298aac8f32c41417636a6418586c5a2a"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:EH4E2TUMVE3PKWS7IKF5GZPP6X","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Reliable Restricted Process Theory","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Fatemeh Ghassemi, Wan Fokkink","submitted_at":"2017-05-07T11:29:18Z","abstract_excerpt":"Malfunctions of a mobile ad hoc network (MANET) protocol caused by a conceptual mistake in the protocol design, rather than unreliable communication, can often be detected only by considering communication among the nodes in the network to be reliable. In Restricted Broadcast Process Theory, which was developed for the specification and verification of MANET protocols, the communication operator is lossy. Replacing unreliable with reliable communication invalidates existing results for this process theory. We examine the effects of this adaptation on the semantics of the framework with regard "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1705.02600","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-18T00:44:56Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"hRqfzE/FZPlXYvnqG8hyBxlUuB5Kv5ucM0S4YB7BvnsGJ6PCUUOuVXE7WFQk86Rk+SUyVhPjT6wVl0KF4IVhCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-06T13:05:40.354020Z"},"content_sha256":"d5e570356b250f75c03dc6c877b92d262c7cd593534ec69b92355612820e4a3f","schema_version":"1.0","event_id":"sha256:d5e570356b250f75c03dc6c877b92d262c7cd593534ec69b92355612820e4a3f"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/EH4E2TUMVE3PKWS7IKF5GZPP6X/bundle.json","state_url":"https://pith.science/pith/EH4E2TUMVE3PKWS7IKF5GZPP6X/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/EH4E2TUMVE3PKWS7IKF5GZPP6X/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-06T13:05:40Z","links":{"resolver":"https://pith.science/pith/EH4E2TUMVE3PKWS7IKF5GZPP6X","bundle":"https://pith.science/pith/EH4E2TUMVE3PKWS7IKF5GZPP6X/bundle.json","state":"https://pith.science/pith/EH4E2TUMVE3PKWS7IKF5GZPP6X/state.json","well_known_bundle":"https://pith.science/.well-known/pith/EH4E2TUMVE3PKWS7IKF5GZPP6X/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:EH4E2TUMVE3PKWS7IKF5GZPP6X","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":"af494f8063a56ec34533250ecfb511b6d8ce6207c233b7ae6b05945649ed733f","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-05-07T11:29:18Z","title_canon_sha256":"d24edeaa2b4fff683e5616b78ef51fa78888e90d4a8fe7af08338f302da382c7"},"schema_version":"1.0","source":{"id":"1705.02600","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1705.02600","created_at":"2026-05-18T00:44:56Z"},{"alias_kind":"arxiv_version","alias_value":"1705.02600v1","created_at":"2026-05-18T00:44:56Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1705.02600","created_at":"2026-05-18T00:44:56Z"},{"alias_kind":"pith_short_12","alias_value":"EH4E2TUMVE3P","created_at":"2026-05-18T12:31:12Z"},{"alias_kind":"pith_short_16","alias_value":"EH4E2TUMVE3PKWS7","created_at":"2026-05-18T12:31:12Z"},{"alias_kind":"pith_short_8","alias_value":"EH4E2TUM","created_at":"2026-05-18T12:31:12Z"}],"graph_snapshots":[{"event_id":"sha256:d5e570356b250f75c03dc6c877b92d262c7cd593534ec69b92355612820e4a3f","target":"graph","created_at":"2026-05-18T00:44:56Z","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":"Malfunctions of a mobile ad hoc network (MANET) protocol caused by a conceptual mistake in the protocol design, rather than unreliable communication, can often be detected only by considering communication among the nodes in the network to be reliable. In Restricted Broadcast Process Theory, which was developed for the specification and verification of MANET protocols, the communication operator is lossy. Replacing unreliable with reliable communication invalidates existing results for this process theory. We examine the effects of this adaptation on the semantics of the framework with regard ","authors_text":"Fatemeh Ghassemi, Wan Fokkink","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-05-07T11:29:18Z","title":"Reliable Restricted Process Theory"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1705.02600","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:aad49dc4306193413f72f284cafd23b3298aac8f32c41417636a6418586c5a2a","target":"record","created_at":"2026-05-18T00:44:56Z","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":"af494f8063a56ec34533250ecfb511b6d8ce6207c233b7ae6b05945649ed733f","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-05-07T11:29:18Z","title_canon_sha256":"d24edeaa2b4fff683e5616b78ef51fa78888e90d4a8fe7af08338f302da382c7"},"schema_version":"1.0","source":{"id":"1705.02600","kind":"arxiv","version":1}},"canonical_sha256":"21f84d4e8ca936f55a5f428bd365eff5de2279c5d7e319ae19c359fb991475ca","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"21f84d4e8ca936f55a5f428bd365eff5de2279c5d7e319ae19c359fb991475ca","first_computed_at":"2026-05-18T00:44:56.085962Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:44:56.085962Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"yUsPbBZwgqti+uLuGXoG9hK+qYrNls2MBkBSTYGHGOmfnY1m1wZM5xhSztXrBQ51lTP2s6VKMsVj8Me6kYF5Ag==","signature_status":"signed_v1","signed_at":"2026-05-18T00:44:56.086513Z","signed_message":"canonical_sha256_bytes"},"source_id":"1705.02600","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:aad49dc4306193413f72f284cafd23b3298aac8f32c41417636a6418586c5a2a","sha256:d5e570356b250f75c03dc6c877b92d262c7cd593534ec69b92355612820e4a3f"],"state_sha256":"8253b4fba2db0da2c4cbea742bd889a8396c4ffb219b6f07e19e468d8cb0a972"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"WVhiU1gv45RiuMpG0Q7oQteRZzB/+aPcBSG5pXfJBR0Ye0nT3dyW3cLz0HuCJ47fFn3W8j1SGcbShfrPB6M/BQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-06T13:05:40.355951Z","bundle_sha256":"9190b4705ee5efb4e07a27dfc0a122de9b7ddecab26ebcae6dfe6b86d4cf592f"}}