{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2014:QGY2N7HRRKJH7DRSSS2GHHMGMB","short_pith_number":"pith:QGY2N7HR","canonical_record":{"source":{"id":"1406.6393","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2014-06-24T21:10:29Z","cross_cats_sorted":[],"title_canon_sha256":"5d7ca2c0c0e06457c81eca86d5a1495a4da5f1142cee140c6dcce265b26fd180","abstract_canon_sha256":"15de79a13c38e030549820e7c07b9eac0a7328f02aab901274cc9754c00bfff4"},"schema_version":"1.0"},"canonical_sha256":"81b1a6fcf18a927f8e3294b4639d86605c1232428feed7f3452e08fd29df697f","source":{"kind":"arxiv","id":"1406.6393","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1406.6393","created_at":"2026-05-18T02:48:56Z"},{"alias_kind":"arxiv_version","alias_value":"1406.6393v2","created_at":"2026-05-18T02:48:56Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1406.6393","created_at":"2026-05-18T02:48:56Z"},{"alias_kind":"pith_short_12","alias_value":"QGY2N7HRRKJH","created_at":"2026-05-18T12:28:46Z"},{"alias_kind":"pith_short_16","alias_value":"QGY2N7HRRKJH7DRS","created_at":"2026-05-18T12:28:46Z"},{"alias_kind":"pith_short_8","alias_value":"QGY2N7HR","created_at":"2026-05-18T12:28:46Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2014:QGY2N7HRRKJH7DRSSS2GHHMGMB","target":"record","payload":{"canonical_record":{"source":{"id":"1406.6393","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2014-06-24T21:10:29Z","cross_cats_sorted":[],"title_canon_sha256":"5d7ca2c0c0e06457c81eca86d5a1495a4da5f1142cee140c6dcce265b26fd180","abstract_canon_sha256":"15de79a13c38e030549820e7c07b9eac0a7328f02aab901274cc9754c00bfff4"},"schema_version":"1.0"},"canonical_sha256":"81b1a6fcf18a927f8e3294b4639d86605c1232428feed7f3452e08fd29df697f","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:48:56.116368Z","signature_b64":"0GZdjgZmnWR8/Wo0s929Y9TIMcZlrYdB0Q9dHA+N05yYEpKDhCesrYn176IVnoD939HXgDmZXYulU6SWLhTcCA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"81b1a6fcf18a927f8e3294b4639d86605c1232428feed7f3452e08fd29df697f","last_reissued_at":"2026-05-18T02:48:56.115844Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:48:56.115844Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1406.6393","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-18T02:48:56Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"33uBDDSflIaSWuHgA9bVr9Rnbo/msM5VLe/4ciRshovnQyDmgREm/LazLkuEfVwEs7NlA1blccbLMkWOgAslAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-23T17:07:44.772389Z"},"content_sha256":"c3f1a8ee91870170923d818bc9d19bb442dc097005e13302dc341662a13cece1","schema_version":"1.0","event_id":"sha256:c3f1a8ee91870170923d818bc9d19bb442dc097005e13302dc341662a13cece1"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2014:QGY2N7HRRKJH7DRSSS2GHHMGMB","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Specifying and Verifying Properties of Space - Extended Version","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Diego Latella, Michele Loreti, Mieke Massink, Vincenzo Ciancia","submitted_at":"2014-06-24T21:10:29Z","abstract_excerpt":"The interplay between process behaviour and spatial aspects of computation has become more and more relevant in Computer Science, especially in the field of collective adaptive systems, but also, more generally, when dealing with systems distributed in physical space. Traditional verification techniques are well suited to analyse the temporal evolution of programs; properties of space are typically not explicitly taken into account. We propose a methodology to verify properties depending upon physical space. We define an appropriate logic, stemming from the tradition of topological interpretat"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1406.6393","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-18T02:48:56Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"lJd3v1FrNn24j1qthjn85KoHeofI3SBy8Z/lKkbnyUQ5YEMiRJ83HvZkal2xsqkCWvvEsYesanQ9vftkd7a7BQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-23T17:07:44.772737Z"},"content_sha256":"7d99c0f4f4498667749131b393020e466de96df38beeba76aee62388469fd3f9","schema_version":"1.0","event_id":"sha256:7d99c0f4f4498667749131b393020e466de96df38beeba76aee62388469fd3f9"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/QGY2N7HRRKJH7DRSSS2GHHMGMB/bundle.json","state_url":"https://pith.science/pith/QGY2N7HRRKJH7DRSSS2GHHMGMB/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/QGY2N7HRRKJH7DRSSS2GHHMGMB/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-23T17:07:44Z","links":{"resolver":"https://pith.science/pith/QGY2N7HRRKJH7DRSSS2GHHMGMB","bundle":"https://pith.science/pith/QGY2N7HRRKJH7DRSSS2GHHMGMB/bundle.json","state":"https://pith.science/pith/QGY2N7HRRKJH7DRSSS2GHHMGMB/state.json","well_known_bundle":"https://pith.science/.well-known/pith/QGY2N7HRRKJH7DRSSS2GHHMGMB/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:QGY2N7HRRKJH7DRSSS2GHHMGMB","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":"15de79a13c38e030549820e7c07b9eac0a7328f02aab901274cc9754c00bfff4","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2014-06-24T21:10:29Z","title_canon_sha256":"5d7ca2c0c0e06457c81eca86d5a1495a4da5f1142cee140c6dcce265b26fd180"},"schema_version":"1.0","source":{"id":"1406.6393","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1406.6393","created_at":"2026-05-18T02:48:56Z"},{"alias_kind":"arxiv_version","alias_value":"1406.6393v2","created_at":"2026-05-18T02:48:56Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1406.6393","created_at":"2026-05-18T02:48:56Z"},{"alias_kind":"pith_short_12","alias_value":"QGY2N7HRRKJH","created_at":"2026-05-18T12:28:46Z"},{"alias_kind":"pith_short_16","alias_value":"QGY2N7HRRKJH7DRS","created_at":"2026-05-18T12:28:46Z"},{"alias_kind":"pith_short_8","alias_value":"QGY2N7HR","created_at":"2026-05-18T12:28:46Z"}],"graph_snapshots":[{"event_id":"sha256:7d99c0f4f4498667749131b393020e466de96df38beeba76aee62388469fd3f9","target":"graph","created_at":"2026-05-18T02:48: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":"The interplay between process behaviour and spatial aspects of computation has become more and more relevant in Computer Science, especially in the field of collective adaptive systems, but also, more generally, when dealing with systems distributed in physical space. Traditional verification techniques are well suited to analyse the temporal evolution of programs; properties of space are typically not explicitly taken into account. We propose a methodology to verify properties depending upon physical space. We define an appropriate logic, stemming from the tradition of topological interpretat","authors_text":"Diego Latella, Michele Loreti, Mieke Massink, Vincenzo Ciancia","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2014-06-24T21:10:29Z","title":"Specifying and Verifying Properties of Space - Extended Version"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1406.6393","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:c3f1a8ee91870170923d818bc9d19bb442dc097005e13302dc341662a13cece1","target":"record","created_at":"2026-05-18T02:48: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":"15de79a13c38e030549820e7c07b9eac0a7328f02aab901274cc9754c00bfff4","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2014-06-24T21:10:29Z","title_canon_sha256":"5d7ca2c0c0e06457c81eca86d5a1495a4da5f1142cee140c6dcce265b26fd180"},"schema_version":"1.0","source":{"id":"1406.6393","kind":"arxiv","version":2}},"canonical_sha256":"81b1a6fcf18a927f8e3294b4639d86605c1232428feed7f3452e08fd29df697f","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"81b1a6fcf18a927f8e3294b4639d86605c1232428feed7f3452e08fd29df697f","first_computed_at":"2026-05-18T02:48:56.115844Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:48:56.115844Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"0GZdjgZmnWR8/Wo0s929Y9TIMcZlrYdB0Q9dHA+N05yYEpKDhCesrYn176IVnoD939HXgDmZXYulU6SWLhTcCA==","signature_status":"signed_v1","signed_at":"2026-05-18T02:48:56.116368Z","signed_message":"canonical_sha256_bytes"},"source_id":"1406.6393","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:c3f1a8ee91870170923d818bc9d19bb442dc097005e13302dc341662a13cece1","sha256:7d99c0f4f4498667749131b393020e466de96df38beeba76aee62388469fd3f9"],"state_sha256":"80ae4965e70bb9c05104cd5da53d85b7035b971bc9d270a93343a437dc093074"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"74yTcEbG9mJpAHY+EW4n+KrWhkGEaIilFhOXiP9Ggeumrmo9y0LAAOTFo4v97C8J2dZ8vB9qZqT9agA3EJI7BA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-23T17:07:44.774694Z","bundle_sha256":"47a74ef127687844b16fa99a65f9a06c2c479a7e593f852afa0c821c4ef0a68b"}}