{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:FP5LX6XQCFBMNABVBZBDXJTHYZ","short_pith_number":"pith:FP5LX6XQ","canonical_record":{"source":{"id":"1711.09762","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-11-23T14:32:07Z","cross_cats_sorted":[],"title_canon_sha256":"164680db2f36e94998d3d630af1380eaa46ecb0dba8d11a40e1abbd5ab328c21","abstract_canon_sha256":"c757ed7eeeb1a2a6c1bc09e0d4124db093e50d32856ce0fded676b71964e2272"},"schema_version":"1.0"},"canonical_sha256":"2bfabbfaf01142c680350e423ba667c64e8e2a1f2ce23f232c44f15d9d3c2271","source":{"kind":"arxiv","id":"1711.09762","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1711.09762","created_at":"2026-05-18T00:09:36Z"},{"alias_kind":"arxiv_version","alias_value":"1711.09762v2","created_at":"2026-05-18T00:09:36Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1711.09762","created_at":"2026-05-18T00:09:36Z"},{"alias_kind":"pith_short_12","alias_value":"FP5LX6XQCFBM","created_at":"2026-05-18T12:31:15Z"},{"alias_kind":"pith_short_16","alias_value":"FP5LX6XQCFBMNABV","created_at":"2026-05-18T12:31:15Z"},{"alias_kind":"pith_short_8","alias_value":"FP5LX6XQ","created_at":"2026-05-18T12:31:15Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:FP5LX6XQCFBMNABVBZBDXJTHYZ","target":"record","payload":{"canonical_record":{"source":{"id":"1711.09762","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-11-23T14:32:07Z","cross_cats_sorted":[],"title_canon_sha256":"164680db2f36e94998d3d630af1380eaa46ecb0dba8d11a40e1abbd5ab328c21","abstract_canon_sha256":"c757ed7eeeb1a2a6c1bc09e0d4124db093e50d32856ce0fded676b71964e2272"},"schema_version":"1.0"},"canonical_sha256":"2bfabbfaf01142c680350e423ba667c64e8e2a1f2ce23f232c44f15d9d3c2271","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:09:36.296479Z","signature_b64":"hPuMjREGsPtb4vRRwNPukTc8dtLMx3qK6n1hwbZiMEBa1WbqfsqV66xOBxpQOckGfOKE7C2SWWBHZJ70xJSjDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"2bfabbfaf01142c680350e423ba667c64e8e2a1f2ce23f232c44f15d9d3c2271","last_reissued_at":"2026-05-18T00:09:36.295982Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:09:36.295982Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1711.09762","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-18T00:09:36Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"LxdZLFz4FGzxr87tr2bocbBvQZOpxOzWpHzRW9seQz0SCZqFdDG+WVIIa+iEk2zkZBI5kvNhpcjvpsM73D0xCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-20T03:52:35.429120Z"},"content_sha256":"f158735bc54042c7fc0cfee6d26523a9e76075ac4c43838a30968021139d5b67","schema_version":"1.0","event_id":"sha256:f158735bc54042c7fc0cfee6d26523a9e76075ac4c43838a30968021139d5b67"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:FP5LX6XQCFBMNABVBZBDXJTHYZ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"A Behavioural Theory for Interactions in Collective-Adaptive Systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Michele Loreti, Rocco De Nicola, Yehia Abd Alrahman","submitted_at":"2017-11-23T14:32:07Z","abstract_excerpt":"We propose a process calculus, named AbC, to study the behavioural theory of interactions in collective-adaptive systems by relying on attribute-based communication. An AbC system consists of a set of parallel components each of which is equipped with a set of attributes. Communication takes place in an implicit multicast fashion, and interaction among components is dynamically established by taking into account \"connections\" as determined by predicates over their attributes. The structural operational semantics of AbC is based on Labeled Transition Systems that are also used to define bisimil"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1711.09762","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-18T00:09:36Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"nQ7EuJxvnpXx1HPRExGoU2b5szFyUNSTaSoLhLoSc96SJX5I1J4thIsO9RmogO/xY9KJJ99UMdiqcf0yuW/SBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-20T03:52:35.429486Z"},"content_sha256":"0b148f8947e6f785b6f1e9b37681dd7ecda27f2b0e6880fd8fbab1b0b3a41fac","schema_version":"1.0","event_id":"sha256:0b148f8947e6f785b6f1e9b37681dd7ecda27f2b0e6880fd8fbab1b0b3a41fac"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/FP5LX6XQCFBMNABVBZBDXJTHYZ/bundle.json","state_url":"https://pith.science/pith/FP5LX6XQCFBMNABVBZBDXJTHYZ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/FP5LX6XQCFBMNABVBZBDXJTHYZ/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-20T03:52:35Z","links":{"resolver":"https://pith.science/pith/FP5LX6XQCFBMNABVBZBDXJTHYZ","bundle":"https://pith.science/pith/FP5LX6XQCFBMNABVBZBDXJTHYZ/bundle.json","state":"https://pith.science/pith/FP5LX6XQCFBMNABVBZBDXJTHYZ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/FP5LX6XQCFBMNABVBZBDXJTHYZ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:FP5LX6XQCFBMNABVBZBDXJTHYZ","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":"c757ed7eeeb1a2a6c1bc09e0d4124db093e50d32856ce0fded676b71964e2272","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-11-23T14:32:07Z","title_canon_sha256":"164680db2f36e94998d3d630af1380eaa46ecb0dba8d11a40e1abbd5ab328c21"},"schema_version":"1.0","source":{"id":"1711.09762","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1711.09762","created_at":"2026-05-18T00:09:36Z"},{"alias_kind":"arxiv_version","alias_value":"1711.09762v2","created_at":"2026-05-18T00:09:36Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1711.09762","created_at":"2026-05-18T00:09:36Z"},{"alias_kind":"pith_short_12","alias_value":"FP5LX6XQCFBM","created_at":"2026-05-18T12:31:15Z"},{"alias_kind":"pith_short_16","alias_value":"FP5LX6XQCFBMNABV","created_at":"2026-05-18T12:31:15Z"},{"alias_kind":"pith_short_8","alias_value":"FP5LX6XQ","created_at":"2026-05-18T12:31:15Z"}],"graph_snapshots":[{"event_id":"sha256:0b148f8947e6f785b6f1e9b37681dd7ecda27f2b0e6880fd8fbab1b0b3a41fac","target":"graph","created_at":"2026-05-18T00:09:36Z","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 propose a process calculus, named AbC, to study the behavioural theory of interactions in collective-adaptive systems by relying on attribute-based communication. An AbC system consists of a set of parallel components each of which is equipped with a set of attributes. Communication takes place in an implicit multicast fashion, and interaction among components is dynamically established by taking into account \"connections\" as determined by predicates over their attributes. The structural operational semantics of AbC is based on Labeled Transition Systems that are also used to define bisimil","authors_text":"Michele Loreti, Rocco De Nicola, Yehia Abd Alrahman","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-11-23T14:32:07Z","title":"A Behavioural Theory for Interactions in Collective-Adaptive Systems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1711.09762","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:f158735bc54042c7fc0cfee6d26523a9e76075ac4c43838a30968021139d5b67","target":"record","created_at":"2026-05-18T00:09:36Z","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":"c757ed7eeeb1a2a6c1bc09e0d4124db093e50d32856ce0fded676b71964e2272","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-11-23T14:32:07Z","title_canon_sha256":"164680db2f36e94998d3d630af1380eaa46ecb0dba8d11a40e1abbd5ab328c21"},"schema_version":"1.0","source":{"id":"1711.09762","kind":"arxiv","version":2}},"canonical_sha256":"2bfabbfaf01142c680350e423ba667c64e8e2a1f2ce23f232c44f15d9d3c2271","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"2bfabbfaf01142c680350e423ba667c64e8e2a1f2ce23f232c44f15d9d3c2271","first_computed_at":"2026-05-18T00:09:36.295982Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:09:36.295982Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"hPuMjREGsPtb4vRRwNPukTc8dtLMx3qK6n1hwbZiMEBa1WbqfsqV66xOBxpQOckGfOKE7C2SWWBHZJ70xJSjDg==","signature_status":"signed_v1","signed_at":"2026-05-18T00:09:36.296479Z","signed_message":"canonical_sha256_bytes"},"source_id":"1711.09762","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:f158735bc54042c7fc0cfee6d26523a9e76075ac4c43838a30968021139d5b67","sha256:0b148f8947e6f785b6f1e9b37681dd7ecda27f2b0e6880fd8fbab1b0b3a41fac"],"state_sha256":"d3bd983b27d40566707b765654581ef31a138c1356a50b1e7973da44f1c655f5"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ajRKbCGPIyZ3VSxoS+mOTHrUEvDLdOieNQIMhBiQaYLtN0CynbXGEORNsBIb5cAqHpz+KOhsiELRS0BOYmlwCw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-20T03:52:35.431518Z","bundle_sha256":"723d0608f9701f79aa8b457fc5e6e26a7a72203b2029cb7aaf8bf4d82490c186"}}