{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2012:T3J7VDLJ2OR5LZSODLBBCZMSFQ","short_pith_number":"pith:T3J7VDLJ","schema_version":"1.0","canonical_sha256":"9ed3fa8d69d3a3d5e64e1ac21165922c1f8899ab1a09a1002f7b0f21a3399d25","source":{"kind":"arxiv","id":"1209.1422","version":1},"attestation_state":"computed","paper":{"title":"A Procedure for Splitting Processes and its Application to Coordination","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Dave Clarke, Jos\\'e Proen\\c{c}a, Sung-Shik T. Q. Jongmans","submitted_at":"2012-09-06T22:52:39Z","abstract_excerpt":"We present a procedure for splitting processes in a process algebra with multi-actions (a subset of the specification language mCRL2). This splitting procedure cuts a process into two processes along a set of actions A: roughly, one of these processes contains no actions from A, while the other process contains only actions from A. We state and prove a theorem asserting that the parallel composition of these two processes equals the original process under appropriate synchronization.\n  We apply our splitting procedure to the process algebraic semantics of the coordination language Reo: using t"},"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":"1209.1422","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2012-09-06T22:52:39Z","cross_cats_sorted":[],"title_canon_sha256":"71ef9319663e9038bcd0bc263ac406936029a63b1a8ba915a4d6c85a968c4833","abstract_canon_sha256":"89ad047af5b254ed539407c7c510ef69874c9144a3b96fc66440e1b253a4ae28"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:46:04.897696Z","signature_b64":"B9OpCj1iJ8fEUkR9w4PXE+JjWZ3acXhw/k5ouDsmuFMT0CGrtwInm5xURa4b2mom+2WF75Cb5Y2oBIoT8/PvAQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"9ed3fa8d69d3a3d5e64e1ac21165922c1f8899ab1a09a1002f7b0f21a3399d25","last_reissued_at":"2026-05-18T03:46:04.896989Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:46:04.896989Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"A Procedure for Splitting Processes and its Application to Coordination","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Dave Clarke, Jos\\'e Proen\\c{c}a, Sung-Shik T. Q. Jongmans","submitted_at":"2012-09-06T22:52:39Z","abstract_excerpt":"We present a procedure for splitting processes in a process algebra with multi-actions (a subset of the specification language mCRL2). This splitting procedure cuts a process into two processes along a set of actions A: roughly, one of these processes contains no actions from A, while the other process contains only actions from A. We state and prove a theorem asserting that the parallel composition of these two processes equals the original process under appropriate synchronization.\n  We apply our splitting procedure to the process algebraic semantics of the coordination language Reo: using t"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1209.1422","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":"1209.1422","created_at":"2026-05-18T03:46:04.897117+00:00"},{"alias_kind":"arxiv_version","alias_value":"1209.1422v1","created_at":"2026-05-18T03:46:04.897117+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1209.1422","created_at":"2026-05-18T03:46:04.897117+00:00"},{"alias_kind":"pith_short_12","alias_value":"T3J7VDLJ2OR5","created_at":"2026-05-18T12:27:23.164592+00:00"},{"alias_kind":"pith_short_16","alias_value":"T3J7VDLJ2OR5LZSO","created_at":"2026-05-18T12:27:23.164592+00:00"},{"alias_kind":"pith_short_8","alias_value":"T3J7VDLJ","created_at":"2026-05-18T12:27:23.164592+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/T3J7VDLJ2OR5LZSODLBBCZMSFQ","json":"https://pith.science/pith/T3J7VDLJ2OR5LZSODLBBCZMSFQ.json","graph_json":"https://pith.science/api/pith-number/T3J7VDLJ2OR5LZSODLBBCZMSFQ/graph.json","events_json":"https://pith.science/api/pith-number/T3J7VDLJ2OR5LZSODLBBCZMSFQ/events.json","paper":"https://pith.science/paper/T3J7VDLJ"},"agent_actions":{"view_html":"https://pith.science/pith/T3J7VDLJ2OR5LZSODLBBCZMSFQ","download_json":"https://pith.science/pith/T3J7VDLJ2OR5LZSODLBBCZMSFQ.json","view_paper":"https://pith.science/paper/T3J7VDLJ","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1209.1422&json=true","fetch_graph":"https://pith.science/api/pith-number/T3J7VDLJ2OR5LZSODLBBCZMSFQ/graph.json","fetch_events":"https://pith.science/api/pith-number/T3J7VDLJ2OR5LZSODLBBCZMSFQ/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/T3J7VDLJ2OR5LZSODLBBCZMSFQ/action/timestamp_anchor","attest_storage":"https://pith.science/pith/T3J7VDLJ2OR5LZSODLBBCZMSFQ/action/storage_attestation","attest_author":"https://pith.science/pith/T3J7VDLJ2OR5LZSODLBBCZMSFQ/action/author_attestation","sign_citation":"https://pith.science/pith/T3J7VDLJ2OR5LZSODLBBCZMSFQ/action/citation_signature","submit_replication":"https://pith.science/pith/T3J7VDLJ2OR5LZSODLBBCZMSFQ/action/replication_record"}},"created_at":"2026-05-18T03:46:04.897117+00:00","updated_at":"2026-05-18T03:46:04.897117+00:00"}