{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2018:ELTZFPLSAZECBNLS3DD37XKZH2","short_pith_number":"pith:ELTZFPLS","schema_version":"1.0","canonical_sha256":"22e792bd72064820b572d8c7bfdd593ebc4416e5f101e48fbc6814bef584704c","source":{"kind":"arxiv","id":"1805.11676","version":1},"attestation_state":"computed","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"},"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":"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"},"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"},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1805.11676","created_at":"2026-05-18T00:14:37.047645+00:00"},{"alias_kind":"arxiv_version","alias_value":"1805.11676v1","created_at":"2026-05-18T00:14:37.047645+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1805.11676","created_at":"2026-05-18T00:14:37.047645+00:00"},{"alias_kind":"pith_short_12","alias_value":"ELTZFPLSAZEC","created_at":"2026-05-18T12:32:22.470017+00:00"},{"alias_kind":"pith_short_16","alias_value":"ELTZFPLSAZECBNLS","created_at":"2026-05-18T12:32:22.470017+00:00"},{"alias_kind":"pith_short_8","alias_value":"ELTZFPLS","created_at":"2026-05-18T12:32:22.470017+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/ELTZFPLSAZECBNLS3DD37XKZH2","json":"https://pith.science/pith/ELTZFPLSAZECBNLS3DD37XKZH2.json","graph_json":"https://pith.science/api/pith-number/ELTZFPLSAZECBNLS3DD37XKZH2/graph.json","events_json":"https://pith.science/api/pith-number/ELTZFPLSAZECBNLS3DD37XKZH2/events.json","paper":"https://pith.science/paper/ELTZFPLS"},"agent_actions":{"view_html":"https://pith.science/pith/ELTZFPLSAZECBNLS3DD37XKZH2","download_json":"https://pith.science/pith/ELTZFPLSAZECBNLS3DD37XKZH2.json","view_paper":"https://pith.science/paper/ELTZFPLS","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1805.11676&json=true","fetch_graph":"https://pith.science/api/pith-number/ELTZFPLSAZECBNLS3DD37XKZH2/graph.json","fetch_events":"https://pith.science/api/pith-number/ELTZFPLSAZECBNLS3DD37XKZH2/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/ELTZFPLSAZECBNLS3DD37XKZH2/action/timestamp_anchor","attest_storage":"https://pith.science/pith/ELTZFPLSAZECBNLS3DD37XKZH2/action/storage_attestation","attest_author":"https://pith.science/pith/ELTZFPLSAZECBNLS3DD37XKZH2/action/author_attestation","sign_citation":"https://pith.science/pith/ELTZFPLSAZECBNLS3DD37XKZH2/action/citation_signature","submit_replication":"https://pith.science/pith/ELTZFPLSAZECBNLS3DD37XKZH2/action/replication_record"}},"created_at":"2026-05-18T00:14:37.047645+00:00","updated_at":"2026-05-18T00:14:37.047645+00:00"}