{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:6H2O4PPNJI26UMXQRCEI2EOP5G","short_pith_number":"pith:6H2O4PPN","canonical_record":{"source":{"id":"1808.01599","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-08-05T11:52:40Z","cross_cats_sorted":[],"title_canon_sha256":"20d9a661307dafcc14bf332dfc6528b5726d3acf4436d5226a29e6c6e07bd953","abstract_canon_sha256":"dd232f6688ec80fd42d082edc2345f36db9c623861c1e50ffe620e5f966c0f4d"},"schema_version":"1.0"},"canonical_sha256":"f1f4ee3ded4a35ea32f088888d11cfe9a4af3bfcfcd64ac4649ef6e93f1d0275","source":{"kind":"arxiv","id":"1808.01599","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1808.01599","created_at":"2026-05-18T00:08:52Z"},{"alias_kind":"arxiv_version","alias_value":"1808.01599v1","created_at":"2026-05-18T00:08:52Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1808.01599","created_at":"2026-05-18T00:08:52Z"},{"alias_kind":"pith_short_12","alias_value":"6H2O4PPNJI26","created_at":"2026-05-18T12:32:08Z"},{"alias_kind":"pith_short_16","alias_value":"6H2O4PPNJI26UMXQ","created_at":"2026-05-18T12:32:08Z"},{"alias_kind":"pith_short_8","alias_value":"6H2O4PPN","created_at":"2026-05-18T12:32:08Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:6H2O4PPNJI26UMXQRCEI2EOP5G","target":"record","payload":{"canonical_record":{"source":{"id":"1808.01599","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-08-05T11:52:40Z","cross_cats_sorted":[],"title_canon_sha256":"20d9a661307dafcc14bf332dfc6528b5726d3acf4436d5226a29e6c6e07bd953","abstract_canon_sha256":"dd232f6688ec80fd42d082edc2345f36db9c623861c1e50ffe620e5f966c0f4d"},"schema_version":"1.0"},"canonical_sha256":"f1f4ee3ded4a35ea32f088888d11cfe9a4af3bfcfcd64ac4649ef6e93f1d0275","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:08:52.474786Z","signature_b64":"fBuKIfKUSTSaR9FKND9f4mAOSvKPN2v29HYdj0SY99GMiz0WIca8sSnLP/dVduPxb/88i7Z6P7IM6+S348ANAg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"f1f4ee3ded4a35ea32f088888d11cfe9a4af3bfcfcd64ac4649ef6e93f1d0275","last_reissued_at":"2026-05-18T00:08:52.474234Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:08:52.474234Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1808.01599","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:08:52Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"tOsmMIFZyZ3sdjpW7tO+OQGP2t9jkQKM8OpsP0ZaxWLzDNFUvMtEtf7mLh4tDdOOplRfqM6n34TsvYnVhWYYBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-27T08:17:17.121662Z"},"content_sha256":"15cb1baf203440236bdff4e1393cdfa300bf7bf6727cd3fbee2f8f384d2afb0a","schema_version":"1.0","event_id":"sha256:15cb1baf203440236bdff4e1393cdfa300bf7bf6727cd3fbee2f8f384d2afb0a"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:6H2O4PPNJI26UMXQRCEI2EOP5G","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"On the Distributability of Mobile Ambients (Technical Report)","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Kirstin Peters, Uwe Nestmann","submitted_at":"2018-08-05T11:52:40Z","abstract_excerpt":"Modern society is dependent on distributed software systems and to verify them different modelling languages such as mobile ambients were developed. To analyse the quality of mobile ambients as a good foundational model for distributed computation, we analyse the level of synchronisation between distributed components that they can express. Therefore, we rely on earlier established synchronisation patterns. It turns out that mobile ambients are not fully distributed, because they can express enough synchronisation to express a synchronisation pattern called M. However, they can express strictl"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1808.01599","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:08:52Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"OaN7QOJnfvwVjRPkhVexq1kRDTVD+XE/ecp3gZrXHVyYAEHM1nA/r7564+3C1I5oGWAe7KYVO5QWTTMJcPoCAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-27T08:17:17.121996Z"},"content_sha256":"5365ac01b7589af2e9acac6914c8c5530c6404bddc377c7402364c8d7332ffb0","schema_version":"1.0","event_id":"sha256:5365ac01b7589af2e9acac6914c8c5530c6404bddc377c7402364c8d7332ffb0"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/6H2O4PPNJI26UMXQRCEI2EOP5G/bundle.json","state_url":"https://pith.science/pith/6H2O4PPNJI26UMXQRCEI2EOP5G/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/6H2O4PPNJI26UMXQRCEI2EOP5G/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-27T08:17:17Z","links":{"resolver":"https://pith.science/pith/6H2O4PPNJI26UMXQRCEI2EOP5G","bundle":"https://pith.science/pith/6H2O4PPNJI26UMXQRCEI2EOP5G/bundle.json","state":"https://pith.science/pith/6H2O4PPNJI26UMXQRCEI2EOP5G/state.json","well_known_bundle":"https://pith.science/.well-known/pith/6H2O4PPNJI26UMXQRCEI2EOP5G/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:6H2O4PPNJI26UMXQRCEI2EOP5G","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":"dd232f6688ec80fd42d082edc2345f36db9c623861c1e50ffe620e5f966c0f4d","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-08-05T11:52:40Z","title_canon_sha256":"20d9a661307dafcc14bf332dfc6528b5726d3acf4436d5226a29e6c6e07bd953"},"schema_version":"1.0","source":{"id":"1808.01599","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1808.01599","created_at":"2026-05-18T00:08:52Z"},{"alias_kind":"arxiv_version","alias_value":"1808.01599v1","created_at":"2026-05-18T00:08:52Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1808.01599","created_at":"2026-05-18T00:08:52Z"},{"alias_kind":"pith_short_12","alias_value":"6H2O4PPNJI26","created_at":"2026-05-18T12:32:08Z"},{"alias_kind":"pith_short_16","alias_value":"6H2O4PPNJI26UMXQ","created_at":"2026-05-18T12:32:08Z"},{"alias_kind":"pith_short_8","alias_value":"6H2O4PPN","created_at":"2026-05-18T12:32:08Z"}],"graph_snapshots":[{"event_id":"sha256:5365ac01b7589af2e9acac6914c8c5530c6404bddc377c7402364c8d7332ffb0","target":"graph","created_at":"2026-05-18T00:08:52Z","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":"Modern society is dependent on distributed software systems and to verify them different modelling languages such as mobile ambients were developed. To analyse the quality of mobile ambients as a good foundational model for distributed computation, we analyse the level of synchronisation between distributed components that they can express. Therefore, we rely on earlier established synchronisation patterns. It turns out that mobile ambients are not fully distributed, because they can express enough synchronisation to express a synchronisation pattern called M. However, they can express strictl","authors_text":"Kirstin Peters, Uwe Nestmann","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-08-05T11:52:40Z","title":"On the Distributability of Mobile Ambients (Technical Report)"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1808.01599","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:15cb1baf203440236bdff4e1393cdfa300bf7bf6727cd3fbee2f8f384d2afb0a","target":"record","created_at":"2026-05-18T00:08:52Z","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":"dd232f6688ec80fd42d082edc2345f36db9c623861c1e50ffe620e5f966c0f4d","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-08-05T11:52:40Z","title_canon_sha256":"20d9a661307dafcc14bf332dfc6528b5726d3acf4436d5226a29e6c6e07bd953"},"schema_version":"1.0","source":{"id":"1808.01599","kind":"arxiv","version":1}},"canonical_sha256":"f1f4ee3ded4a35ea32f088888d11cfe9a4af3bfcfcd64ac4649ef6e93f1d0275","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"f1f4ee3ded4a35ea32f088888d11cfe9a4af3bfcfcd64ac4649ef6e93f1d0275","first_computed_at":"2026-05-18T00:08:52.474234Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:08:52.474234Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"fBuKIfKUSTSaR9FKND9f4mAOSvKPN2v29HYdj0SY99GMiz0WIca8sSnLP/dVduPxb/88i7Z6P7IM6+S348ANAg==","signature_status":"signed_v1","signed_at":"2026-05-18T00:08:52.474786Z","signed_message":"canonical_sha256_bytes"},"source_id":"1808.01599","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:15cb1baf203440236bdff4e1393cdfa300bf7bf6727cd3fbee2f8f384d2afb0a","sha256:5365ac01b7589af2e9acac6914c8c5530c6404bddc377c7402364c8d7332ffb0"],"state_sha256":"6ac36a4c484f9e96da61a3617ea03427424d2933ab0c553cb1a8280af8d64796"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"m1JHZ/UBYf1PG1Gl6YvYqfQS8Y3/9ut3R+iNHiYcxAlS2ZwZzq/+Hc1cGIyuwPjZBUO7e02ret/FFaePZ8tYCA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-27T08:17:17.123892Z","bundle_sha256":"7950e3254a2fd6ed271dfcb691ef9a54a50f255a7ca8183b2f1af154321ca99f"}}