{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:ELTZFPLSAZECBNLS3DD37XKZH2","short_pith_number":"pith:ELTZFPLS","canonical_record":{"source":{"id":"1805.11676","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2018-05-05T07:53:47Z","cross_cats_sorted":[],"title_canon_sha256":"c7532a3a94473c2a469fae51eb78a8e9763d0e833c8606c862e921c9aa36b1c7","abstract_canon_sha256":"a73cb5e0a52377a5200ad6327dc341272b780b5168a239342c0c8e41aeb50dcd"},"schema_version":"1.0"},"canonical_sha256":"22e792bd72064820b572d8c7bfdd593ebc4416e5f101e48fbc6814bef584704c","source":{"kind":"arxiv","id":"1805.11676","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1805.11676","created_at":"2026-05-18T00:14:37Z"},{"alias_kind":"arxiv_version","alias_value":"1805.11676v1","created_at":"2026-05-18T00:14:37Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1805.11676","created_at":"2026-05-18T00:14:37Z"},{"alias_kind":"pith_short_12","alias_value":"ELTZFPLSAZEC","created_at":"2026-05-18T12:32:22Z"},{"alias_kind":"pith_short_16","alias_value":"ELTZFPLSAZECBNLS","created_at":"2026-05-18T12:32:22Z"},{"alias_kind":"pith_short_8","alias_value":"ELTZFPLS","created_at":"2026-05-18T12:32:22Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:ELTZFPLSAZECBNLS3DD37XKZH2","target":"record","payload":{"canonical_record":{"source":{"id":"1805.11676","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2018-05-05T07:53:47Z","cross_cats_sorted":[],"title_canon_sha256":"c7532a3a94473c2a469fae51eb78a8e9763d0e833c8606c862e921c9aa36b1c7","abstract_canon_sha256":"a73cb5e0a52377a5200ad6327dc341272b780b5168a239342c0c8e41aeb50dcd"},"schema_version":"1.0"},"canonical_sha256":"22e792bd72064820b572d8c7bfdd593ebc4416e5f101e48fbc6814bef584704c","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:14:37.048256Z","signature_b64":"mqfS1bur174Hvgoia8WCt/yUArPqXcEJ9EBCGwmsjjl1xfs+66SepSBfF14hQoVPf44mRaVj0ih3kalVNF1VCQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"22e792bd72064820b572d8c7bfdd593ebc4416e5f101e48fbc6814bef584704c","last_reissued_at":"2026-05-18T00:14:37.047494Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:14:37.047494Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1805.11676","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:14:37Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"MYv6u7ECc8c2ov9kwZbcD/r3zUUnQ50kn2/snn2Qr7IdUVfHnKcuoN2mp1lv9O3j0hJr4t1kmeU/iy11ubhHCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-23T22:54:47.927579Z"},"content_sha256":"46db375fb82599d7e0841bb07569021767e199b033f9d698140a44f947180df2","schema_version":"1.0","event_id":"sha256:46db375fb82599d7e0841bb07569021767e199b033f9d698140a44f947180df2"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:ELTZFPLSAZECBNLS3DD37XKZH2","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Process Algebraic Architectural Description Languages: Generalizing Component-Oriented Mismatch Detection in the Presence of Nonsynchronous Communications","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Alessandro Aldini, Edoardo Bont\\`a, Marco Bernardo","submitted_at":"2018-05-05T07:53:47Z","abstract_excerpt":"In the original paper, we showed how to enhance the expressiveness of a typical process algebraic architectural description language by including the capability of representing nonsynchronous communications. In particular, we extended the language by means of additional qualifiers enabling the designer to distinguish among synchronous, semi-synchronous, and asynchronous ports. Moreover, we showed how to modify techniques for detecting coordination mismatches such as the compatibility check for star topologies and the interoperability check for cycle topologies, in such a way that those two che"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1805.11676","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:14:37Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"hZrQoALpp/cx0Vz6VuULWFC7K02q3Vxp1f06uQSvZo3oL3sqBwYN9zS2kjfFLrV4THY7Lbm4fl7HHX4mcyFNAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-23T22:54:47.928264Z"},"content_sha256":"71f8ffcd3a4d49d4339079bb0020eaddc8a74ca10804b80c335ba5f65cfa5064","schema_version":"1.0","event_id":"sha256:71f8ffcd3a4d49d4339079bb0020eaddc8a74ca10804b80c335ba5f65cfa5064"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/ELTZFPLSAZECBNLS3DD37XKZH2/bundle.json","state_url":"https://pith.science/pith/ELTZFPLSAZECBNLS3DD37XKZH2/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/ELTZFPLSAZECBNLS3DD37XKZH2/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-05-23T22:54:47Z","links":{"resolver":"https://pith.science/pith/ELTZFPLSAZECBNLS3DD37XKZH2","bundle":"https://pith.science/pith/ELTZFPLSAZECBNLS3DD37XKZH2/bundle.json","state":"https://pith.science/pith/ELTZFPLSAZECBNLS3DD37XKZH2/state.json","well_known_bundle":"https://pith.science/.well-known/pith/ELTZFPLSAZECBNLS3DD37XKZH2/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:ELTZFPLSAZECBNLS3DD37XKZH2","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":"a73cb5e0a52377a5200ad6327dc341272b780b5168a239342c0c8e41aeb50dcd","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2018-05-05T07:53:47Z","title_canon_sha256":"c7532a3a94473c2a469fae51eb78a8e9763d0e833c8606c862e921c9aa36b1c7"},"schema_version":"1.0","source":{"id":"1805.11676","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1805.11676","created_at":"2026-05-18T00:14:37Z"},{"alias_kind":"arxiv_version","alias_value":"1805.11676v1","created_at":"2026-05-18T00:14:37Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1805.11676","created_at":"2026-05-18T00:14:37Z"},{"alias_kind":"pith_short_12","alias_value":"ELTZFPLSAZEC","created_at":"2026-05-18T12:32:22Z"},{"alias_kind":"pith_short_16","alias_value":"ELTZFPLSAZECBNLS","created_at":"2026-05-18T12:32:22Z"},{"alias_kind":"pith_short_8","alias_value":"ELTZFPLS","created_at":"2026-05-18T12:32:22Z"}],"graph_snapshots":[{"event_id":"sha256:71f8ffcd3a4d49d4339079bb0020eaddc8a74ca10804b80c335ba5f65cfa5064","target":"graph","created_at":"2026-05-18T00:14:37Z","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":"In the original paper, we showed how to enhance the expressiveness of a typical process algebraic architectural description language by including the capability of representing nonsynchronous communications. In particular, we extended the language by means of additional qualifiers enabling the designer to distinguish among synchronous, semi-synchronous, and asynchronous ports. Moreover, we showed how to modify techniques for detecting coordination mismatches such as the compatibility check for star topologies and the interoperability check for cycle topologies, in such a way that those two che","authors_text":"Alessandro Aldini, Edoardo Bont\\`a, Marco Bernardo","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2018-05-05T07:53:47Z","title":"Process Algebraic Architectural Description Languages: Generalizing Component-Oriented Mismatch Detection in the Presence of Nonsynchronous Communications"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1805.11676","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:46db375fb82599d7e0841bb07569021767e199b033f9d698140a44f947180df2","target":"record","created_at":"2026-05-18T00:14:37Z","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":"a73cb5e0a52377a5200ad6327dc341272b780b5168a239342c0c8e41aeb50dcd","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2018-05-05T07:53:47Z","title_canon_sha256":"c7532a3a94473c2a469fae51eb78a8e9763d0e833c8606c862e921c9aa36b1c7"},"schema_version":"1.0","source":{"id":"1805.11676","kind":"arxiv","version":1}},"canonical_sha256":"22e792bd72064820b572d8c7bfdd593ebc4416e5f101e48fbc6814bef584704c","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"22e792bd72064820b572d8c7bfdd593ebc4416e5f101e48fbc6814bef584704c","first_computed_at":"2026-05-18T00:14:37.047494Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:14:37.047494Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"mqfS1bur174Hvgoia8WCt/yUArPqXcEJ9EBCGwmsjjl1xfs+66SepSBfF14hQoVPf44mRaVj0ih3kalVNF1VCQ==","signature_status":"signed_v1","signed_at":"2026-05-18T00:14:37.048256Z","signed_message":"canonical_sha256_bytes"},"source_id":"1805.11676","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:46db375fb82599d7e0841bb07569021767e199b033f9d698140a44f947180df2","sha256:71f8ffcd3a4d49d4339079bb0020eaddc8a74ca10804b80c335ba5f65cfa5064"],"state_sha256":"a13bdfe8bbdd0ef16f47809ed6cb8677f11fc492e82f80d76f172eb06707c96f"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"vyiuXKSsLlw63VBphjZcO+WrR6zrRVfI2n2e6+ZORkfdLQ7vf3t4N/ckRx11Zc/M26W85RWN6WWV9n7hsm3RAQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-23T22:54:47.931586Z","bundle_sha256":"0ed51645c2880f92fff3cffa5d6bb6eceaa56554fcd0673de7140552102e1597"}}