{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2011:GV66Q2DWVZY6SJAB2O4J3AXQLL","short_pith_number":"pith:GV66Q2DW","schema_version":"1.0","canonical_sha256":"357de86876ae71e92401d3b89d82f05af12bf5df1516f8db58de95d861a00e23","source":{"kind":"arxiv","id":"1108.1452","version":1},"attestation_state":"computed","paper":{"title":"Proceedings First International Workshop on Process Algebra and Coordination","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.PL"],"primary_cat":"cs.LO","authors_text":"Luca Aceto (Reykjavik University), Mohammad Reza Mousavi (Eindhoven University of Technology)","submitted_at":"2011-08-06T05:23:21Z","abstract_excerpt":"Process algebra provides abstract and rigorous means for studying communicating concurrent systems. Coordination languages also provide abstract means for the specifying and programming communication of components. Hence, the two fields seem to have very much in common and the link between these two research areas have been established formally by means of several translations, mainly from coordination languages to process algebras. There have also been proposals of process algebras whose communication policy is inspired by the one underlying coordination languages.\n  The aim of this workshop "},"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":"1108.1452","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2011-08-06T05:23:21Z","cross_cats_sorted":["cs.PL"],"title_canon_sha256":"0ed4dbb1110998c0acee55f67dc9e3f7f3641a41c1089e8c8556973393580451","abstract_canon_sha256":"b91393c1a23dad7205d54f569ab9e562adb964c8b88b0451e3e5d477a4266836"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T04:16:01.009602Z","signature_b64":"gh1QVhUdNJsxvtMo+dZoF5FWlTOG5PQizh/1Ic0JxTbW0cQbq7R29LwfA8EoOwebKm0uHNYd4BXQi/ss1p5iDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"357de86876ae71e92401d3b89d82f05af12bf5df1516f8db58de95d861a00e23","last_reissued_at":"2026-05-18T04:16:01.008994Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T04:16:01.008994Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Proceedings First International Workshop on Process Algebra and Coordination","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.PL"],"primary_cat":"cs.LO","authors_text":"Luca Aceto (Reykjavik University), Mohammad Reza Mousavi (Eindhoven University of Technology)","submitted_at":"2011-08-06T05:23:21Z","abstract_excerpt":"Process algebra provides abstract and rigorous means for studying communicating concurrent systems. Coordination languages also provide abstract means for the specifying and programming communication of components. Hence, the two fields seem to have very much in common and the link between these two research areas have been established formally by means of several translations, mainly from coordination languages to process algebras. There have also been proposals of process algebras whose communication policy is inspired by the one underlying coordination languages.\n  The aim of this workshop "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1108.1452","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":"1108.1452","created_at":"2026-05-18T04:16:01.009121+00:00"},{"alias_kind":"arxiv_version","alias_value":"1108.1452v1","created_at":"2026-05-18T04:16:01.009121+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1108.1452","created_at":"2026-05-18T04:16:01.009121+00:00"},{"alias_kind":"pith_short_12","alias_value":"GV66Q2DWVZY6","created_at":"2026-05-18T12:26:30.835961+00:00"},{"alias_kind":"pith_short_16","alias_value":"GV66Q2DWVZY6SJAB","created_at":"2026-05-18T12:26:30.835961+00:00"},{"alias_kind":"pith_short_8","alias_value":"GV66Q2DW","created_at":"2026-05-18T12:26:30.835961+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/GV66Q2DWVZY6SJAB2O4J3AXQLL","json":"https://pith.science/pith/GV66Q2DWVZY6SJAB2O4J3AXQLL.json","graph_json":"https://pith.science/api/pith-number/GV66Q2DWVZY6SJAB2O4J3AXQLL/graph.json","events_json":"https://pith.science/api/pith-number/GV66Q2DWVZY6SJAB2O4J3AXQLL/events.json","paper":"https://pith.science/paper/GV66Q2DW"},"agent_actions":{"view_html":"https://pith.science/pith/GV66Q2DWVZY6SJAB2O4J3AXQLL","download_json":"https://pith.science/pith/GV66Q2DWVZY6SJAB2O4J3AXQLL.json","view_paper":"https://pith.science/paper/GV66Q2DW","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1108.1452&json=true","fetch_graph":"https://pith.science/api/pith-number/GV66Q2DWVZY6SJAB2O4J3AXQLL/graph.json","fetch_events":"https://pith.science/api/pith-number/GV66Q2DWVZY6SJAB2O4J3AXQLL/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/GV66Q2DWVZY6SJAB2O4J3AXQLL/action/timestamp_anchor","attest_storage":"https://pith.science/pith/GV66Q2DWVZY6SJAB2O4J3AXQLL/action/storage_attestation","attest_author":"https://pith.science/pith/GV66Q2DWVZY6SJAB2O4J3AXQLL/action/author_attestation","sign_citation":"https://pith.science/pith/GV66Q2DWVZY6SJAB2O4J3AXQLL/action/citation_signature","submit_replication":"https://pith.science/pith/GV66Q2DWVZY6SJAB2O4J3AXQLL/action/replication_record"}},"created_at":"2026-05-18T04:16:01.009121+00:00","updated_at":"2026-05-18T04:16:01.009121+00:00"}