{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2015:7RTTDPXY3NURYDV63XEJWYGLKZ","short_pith_number":"pith:7RTTDPXY","schema_version":"1.0","canonical_sha256":"fc6731bef8db691c0ebeddc89b60cb567318d5c126c0c5c861c60c4ddd941a41","source":{"kind":"arxiv","id":"1508.04854","version":1},"attestation_state":"computed","paper":{"title":"On the Expressiveness of Joining","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Axel Legay (INRIA), Thomas Given-Wilson (Inria)","submitted_at":"2015-08-20T01:41:18Z","abstract_excerpt":"The expressiveness of communication primitives has been explored in a common framework based on the pi-calculus by considering four features: synchronism (asynchronous vs synchronous), arity (monadic vs polyadic data), communication medium (shared dataspaces vs channel-based), and pattern-matching (binding to a name vs testing name equality vs intensionality). Here another dimension coordination is considered that accounts for the number of processes required for an interaction to occur. Coordination generalises binary languages such as pi-calculus to joining languages that combine inputs such"},"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":"1508.04854","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2015-08-20T01:41:18Z","cross_cats_sorted":[],"title_canon_sha256":"cdb976e9966e8830f9c461438ef26a2cba6b325b61dee05f42a739a17cc63733","abstract_canon_sha256":"7cd458785164bef4b6becfb3ddf8edd058ad8c2e02cee19ef71885ede58039c9"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:35:01.376762Z","signature_b64":"XomHNaGs0u47kGz18ISQEzzmF3Srsu3YrR8G8dSvQ95xTgoeSQ0yJQ4PuzehZNgMSynulng+k2joVkmlvoLRCA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"fc6731bef8db691c0ebeddc89b60cb567318d5c126c0c5c861c60c4ddd941a41","last_reissued_at":"2026-05-18T01:35:01.376104Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:35:01.376104Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"On the Expressiveness of Joining","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Axel Legay (INRIA), Thomas Given-Wilson (Inria)","submitted_at":"2015-08-20T01:41:18Z","abstract_excerpt":"The expressiveness of communication primitives has been explored in a common framework based on the pi-calculus by considering four features: synchronism (asynchronous vs synchronous), arity (monadic vs polyadic data), communication medium (shared dataspaces vs channel-based), and pattern-matching (binding to a name vs testing name equality vs intensionality). Here another dimension coordination is considered that accounts for the number of processes required for an interaction to occur. Coordination generalises binary languages such as pi-calculus to joining languages that combine inputs such"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1508.04854","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":"1508.04854","created_at":"2026-05-18T01:35:01.376205+00:00"},{"alias_kind":"arxiv_version","alias_value":"1508.04854v1","created_at":"2026-05-18T01:35:01.376205+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1508.04854","created_at":"2026-05-18T01:35:01.376205+00:00"},{"alias_kind":"pith_short_12","alias_value":"7RTTDPXY3NUR","created_at":"2026-05-18T12:29:10.953037+00:00"},{"alias_kind":"pith_short_16","alias_value":"7RTTDPXY3NURYDV6","created_at":"2026-05-18T12:29:10.953037+00:00"},{"alias_kind":"pith_short_8","alias_value":"7RTTDPXY","created_at":"2026-05-18T12:29:10.953037+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/7RTTDPXY3NURYDV63XEJWYGLKZ","json":"https://pith.science/pith/7RTTDPXY3NURYDV63XEJWYGLKZ.json","graph_json":"https://pith.science/api/pith-number/7RTTDPXY3NURYDV63XEJWYGLKZ/graph.json","events_json":"https://pith.science/api/pith-number/7RTTDPXY3NURYDV63XEJWYGLKZ/events.json","paper":"https://pith.science/paper/7RTTDPXY"},"agent_actions":{"view_html":"https://pith.science/pith/7RTTDPXY3NURYDV63XEJWYGLKZ","download_json":"https://pith.science/pith/7RTTDPXY3NURYDV63XEJWYGLKZ.json","view_paper":"https://pith.science/paper/7RTTDPXY","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1508.04854&json=true","fetch_graph":"https://pith.science/api/pith-number/7RTTDPXY3NURYDV63XEJWYGLKZ/graph.json","fetch_events":"https://pith.science/api/pith-number/7RTTDPXY3NURYDV63XEJWYGLKZ/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/7RTTDPXY3NURYDV63XEJWYGLKZ/action/timestamp_anchor","attest_storage":"https://pith.science/pith/7RTTDPXY3NURYDV63XEJWYGLKZ/action/storage_attestation","attest_author":"https://pith.science/pith/7RTTDPXY3NURYDV63XEJWYGLKZ/action/author_attestation","sign_citation":"https://pith.science/pith/7RTTDPXY3NURYDV63XEJWYGLKZ/action/citation_signature","submit_replication":"https://pith.science/pith/7RTTDPXY3NURYDV63XEJWYGLKZ/action/replication_record"}},"created_at":"2026-05-18T01:35:01.376205+00:00","updated_at":"2026-05-18T01:35:01.376205+00:00"}