{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2015:GPISWXPB4QQKOHE53XPW6LJIHR","short_pith_number":"pith:GPISWXPB","schema_version":"1.0","canonical_sha256":"33d12b5de1e420a71c9ddddf6f2d283c59064f9d9b628f913e27000354918be5","source":{"kind":"arxiv","id":"1510.01044","version":2},"attestation_state":"computed","paper":{"title":"A Sorted Semantic Framework for Applied Process Calculi","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Bj\\\"orn Victor (Uppsala University), Joachim Parrow (Uppsala University), Johannes {\\AA}man Pohjola (Uppsala University), Johannes Borgstr\\\"om (Uppsala University), Ram\\=unas Gutkovas (Uppsala University)","submitted_at":"2015-10-05T06:53:24Z","abstract_excerpt":"Applied process calculi include advanced programming constructs such as type systems, communication with pattern matching, encryption primitives, concurrent constraints, nondeterminism, process creation, and dynamic connection topologies. Several such formalisms, e.g. the applied pi calculus, are extensions of the the pi-calculus; a growing number is geared towards particular applications or computational paradigms. Our goal is a unified framework to represent different process calculi and notions of computation. To this end, we extend our previous work on psi-calculi with novel abstract patte"},"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":"1510.01044","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2015-10-05T06:53:24Z","cross_cats_sorted":[],"title_canon_sha256":"e741cadf0f7deaf391a29ffa5ecbf590a7105350fd54f6670e8367942bec9f5f","abstract_canon_sha256":"7d3110f1417c08e4110ca3d5b2c88c5ba0e8c68150bca3285bb57a734b6c4575"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:53:08.860828Z","signature_b64":"ZVc3PyN8OvpAc7UGPRhQt7UPyoJmUh3Bd3u/x3hMZzxHjblTheeVYnNOUQirVBZ8XwduUNS4ykxCLty9qAlvDQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"33d12b5de1e420a71c9ddddf6f2d283c59064f9d9b628f913e27000354918be5","last_reissued_at":"2026-05-18T00:53:08.860369Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:53:08.860369Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"A Sorted Semantic Framework for Applied Process Calculi","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Bj\\\"orn Victor (Uppsala University), Joachim Parrow (Uppsala University), Johannes {\\AA}man Pohjola (Uppsala University), Johannes Borgstr\\\"om (Uppsala University), Ram\\=unas Gutkovas (Uppsala University)","submitted_at":"2015-10-05T06:53:24Z","abstract_excerpt":"Applied process calculi include advanced programming constructs such as type systems, communication with pattern matching, encryption primitives, concurrent constraints, nondeterminism, process creation, and dynamic connection topologies. Several such formalisms, e.g. the applied pi calculus, are extensions of the the pi-calculus; a growing number is geared towards particular applications or computational paradigms. Our goal is a unified framework to represent different process calculi and notions of computation. To this end, we extend our previous work on psi-calculi with novel abstract patte"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1510.01044","kind":"arxiv","version":2},"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":"1510.01044","created_at":"2026-05-18T00:53:08.860446+00:00"},{"alias_kind":"arxiv_version","alias_value":"1510.01044v2","created_at":"2026-05-18T00:53:08.860446+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1510.01044","created_at":"2026-05-18T00:53:08.860446+00:00"},{"alias_kind":"pith_short_12","alias_value":"GPISWXPB4QQK","created_at":"2026-05-18T12:29:22.688609+00:00"},{"alias_kind":"pith_short_16","alias_value":"GPISWXPB4QQKOHE5","created_at":"2026-05-18T12:29:22.688609+00:00"},{"alias_kind":"pith_short_8","alias_value":"GPISWXPB","created_at":"2026-05-18T12:29:22.688609+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/GPISWXPB4QQKOHE53XPW6LJIHR","json":"https://pith.science/pith/GPISWXPB4QQKOHE53XPW6LJIHR.json","graph_json":"https://pith.science/api/pith-number/GPISWXPB4QQKOHE53XPW6LJIHR/graph.json","events_json":"https://pith.science/api/pith-number/GPISWXPB4QQKOHE53XPW6LJIHR/events.json","paper":"https://pith.science/paper/GPISWXPB"},"agent_actions":{"view_html":"https://pith.science/pith/GPISWXPB4QQKOHE53XPW6LJIHR","download_json":"https://pith.science/pith/GPISWXPB4QQKOHE53XPW6LJIHR.json","view_paper":"https://pith.science/paper/GPISWXPB","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1510.01044&json=true","fetch_graph":"https://pith.science/api/pith-number/GPISWXPB4QQKOHE53XPW6LJIHR/graph.json","fetch_events":"https://pith.science/api/pith-number/GPISWXPB4QQKOHE53XPW6LJIHR/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/GPISWXPB4QQKOHE53XPW6LJIHR/action/timestamp_anchor","attest_storage":"https://pith.science/pith/GPISWXPB4QQKOHE53XPW6LJIHR/action/storage_attestation","attest_author":"https://pith.science/pith/GPISWXPB4QQKOHE53XPW6LJIHR/action/author_attestation","sign_citation":"https://pith.science/pith/GPISWXPB4QQKOHE53XPW6LJIHR/action/citation_signature","submit_replication":"https://pith.science/pith/GPISWXPB4QQKOHE53XPW6LJIHR/action/replication_record"}},"created_at":"2026-05-18T00:53:08.860446+00:00","updated_at":"2026-05-18T00:53:08.860446+00:00"}