{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2018:6H2O4PPNJI26UMXQRCEI2EOP5G","short_pith_number":"pith:6H2O4PPN","schema_version":"1.0","canonical_sha256":"f1f4ee3ded4a35ea32f088888d11cfe9a4af3bfcfcd64ac4649ef6e93f1d0275","source":{"kind":"arxiv","id":"1808.01599","version":1},"attestation_state":"computed","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"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"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"},"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"},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1808.01599","created_at":"2026-05-18T00:08:52.474322+00:00"},{"alias_kind":"arxiv_version","alias_value":"1808.01599v1","created_at":"2026-05-18T00:08:52.474322+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1808.01599","created_at":"2026-05-18T00:08:52.474322+00:00"},{"alias_kind":"pith_short_12","alias_value":"6H2O4PPNJI26","created_at":"2026-05-18T12:32:08.215937+00:00"},{"alias_kind":"pith_short_16","alias_value":"6H2O4PPNJI26UMXQ","created_at":"2026-05-18T12:32:08.215937+00:00"},{"alias_kind":"pith_short_8","alias_value":"6H2O4PPN","created_at":"2026-05-18T12:32:08.215937+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/6H2O4PPNJI26UMXQRCEI2EOP5G","json":"https://pith.science/pith/6H2O4PPNJI26UMXQRCEI2EOP5G.json","graph_json":"https://pith.science/api/pith-number/6H2O4PPNJI26UMXQRCEI2EOP5G/graph.json","events_json":"https://pith.science/api/pith-number/6H2O4PPNJI26UMXQRCEI2EOP5G/events.json","paper":"https://pith.science/paper/6H2O4PPN"},"agent_actions":{"view_html":"https://pith.science/pith/6H2O4PPNJI26UMXQRCEI2EOP5G","download_json":"https://pith.science/pith/6H2O4PPNJI26UMXQRCEI2EOP5G.json","view_paper":"https://pith.science/paper/6H2O4PPN","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1808.01599&json=true","fetch_graph":"https://pith.science/api/pith-number/6H2O4PPNJI26UMXQRCEI2EOP5G/graph.json","fetch_events":"https://pith.science/api/pith-number/6H2O4PPNJI26UMXQRCEI2EOP5G/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/6H2O4PPNJI26UMXQRCEI2EOP5G/action/timestamp_anchor","attest_storage":"https://pith.science/pith/6H2O4PPNJI26UMXQRCEI2EOP5G/action/storage_attestation","attest_author":"https://pith.science/pith/6H2O4PPNJI26UMXQRCEI2EOP5G/action/author_attestation","sign_citation":"https://pith.science/pith/6H2O4PPNJI26UMXQRCEI2EOP5G/action/citation_signature","submit_replication":"https://pith.science/pith/6H2O4PPNJI26UMXQRCEI2EOP5G/action/replication_record"}},"created_at":"2026-05-18T00:08:52.474322+00:00","updated_at":"2026-05-18T00:08:52.474322+00:00"}