{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2018:F6OBDZFHIWIMEI53HDHUK6BCX3","short_pith_number":"pith:F6OBDZFH","schema_version":"1.0","canonical_sha256":"2f9c11e4a74590c223bb38cf457822bec5cdfd31e68f9f6611230fea5853b4aa","source":{"kind":"arxiv","id":"1804.07603","version":2},"attestation_state":"computed","paper":{"title":"The Bond-Calculus: A Process Algebra for Complex Biological Interaction Dynamics","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["q-bio.MN"],"primary_cat":"cs.LO","authors_text":"Ian Stark, Thomas Wright","submitted_at":"2018-04-19T00:28:05Z","abstract_excerpt":"We present the bond-calculus, a process algebra for modelling biological and chemical systems featuring nonlinear dynamics, multiway interactions, and dynamic bonding of agents. Mathematical models based on differential equations have been instrumental in modelling and understanding the dynamics of biological systems. Quantitative process algebras aim to build higher level descriptions of biological systems, capturing the agents and interactions underlying their behaviour, and can be compiled down to a range of lower level mathematical models. The bond-calculus builds upon the work of Kwiatkow"},"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":"1804.07603","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-04-19T00:28:05Z","cross_cats_sorted":["q-bio.MN"],"title_canon_sha256":"4cd1bb06ca16f225815a8eebf79543747cc9ebb6ee9a222535dbf34b48f59719","abstract_canon_sha256":"1627d119a2389effb697ae346135846fbc5aacc1e09ffc11a6a494bcc6867562"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:17:16.270782Z","signature_b64":"+ni58JfV96WJwu4vToJoqvxtf4VEaYoeSGHyLJ3VrqnBKLs0opsLjklQIDP84XMEIIq62xNefgl1vgQfKfobAg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"2f9c11e4a74590c223bb38cf457822bec5cdfd31e68f9f6611230fea5853b4aa","last_reissued_at":"2026-05-18T00:17:16.270306Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:17:16.270306Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"The Bond-Calculus: A Process Algebra for Complex Biological Interaction Dynamics","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["q-bio.MN"],"primary_cat":"cs.LO","authors_text":"Ian Stark, Thomas Wright","submitted_at":"2018-04-19T00:28:05Z","abstract_excerpt":"We present the bond-calculus, a process algebra for modelling biological and chemical systems featuring nonlinear dynamics, multiway interactions, and dynamic bonding of agents. Mathematical models based on differential equations have been instrumental in modelling and understanding the dynamics of biological systems. Quantitative process algebras aim to build higher level descriptions of biological systems, capturing the agents and interactions underlying their behaviour, and can be compiled down to a range of lower level mathematical models. The bond-calculus builds upon the work of Kwiatkow"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1804.07603","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":"1804.07603","created_at":"2026-05-18T00:17:16.270377+00:00"},{"alias_kind":"arxiv_version","alias_value":"1804.07603v2","created_at":"2026-05-18T00:17:16.270377+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1804.07603","created_at":"2026-05-18T00:17:16.270377+00:00"},{"alias_kind":"pith_short_12","alias_value":"F6OBDZFHIWIM","created_at":"2026-05-18T12:32:22.470017+00:00"},{"alias_kind":"pith_short_16","alias_value":"F6OBDZFHIWIMEI53","created_at":"2026-05-18T12:32:22.470017+00:00"},{"alias_kind":"pith_short_8","alias_value":"F6OBDZFH","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/F6OBDZFHIWIMEI53HDHUK6BCX3","json":"https://pith.science/pith/F6OBDZFHIWIMEI53HDHUK6BCX3.json","graph_json":"https://pith.science/api/pith-number/F6OBDZFHIWIMEI53HDHUK6BCX3/graph.json","events_json":"https://pith.science/api/pith-number/F6OBDZFHIWIMEI53HDHUK6BCX3/events.json","paper":"https://pith.science/paper/F6OBDZFH"},"agent_actions":{"view_html":"https://pith.science/pith/F6OBDZFHIWIMEI53HDHUK6BCX3","download_json":"https://pith.science/pith/F6OBDZFHIWIMEI53HDHUK6BCX3.json","view_paper":"https://pith.science/paper/F6OBDZFH","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1804.07603&json=true","fetch_graph":"https://pith.science/api/pith-number/F6OBDZFHIWIMEI53HDHUK6BCX3/graph.json","fetch_events":"https://pith.science/api/pith-number/F6OBDZFHIWIMEI53HDHUK6BCX3/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/F6OBDZFHIWIMEI53HDHUK6BCX3/action/timestamp_anchor","attest_storage":"https://pith.science/pith/F6OBDZFHIWIMEI53HDHUK6BCX3/action/storage_attestation","attest_author":"https://pith.science/pith/F6OBDZFHIWIMEI53HDHUK6BCX3/action/author_attestation","sign_citation":"https://pith.science/pith/F6OBDZFHIWIMEI53HDHUK6BCX3/action/citation_signature","submit_replication":"https://pith.science/pith/F6OBDZFHIWIMEI53HDHUK6BCX3/action/replication_record"}},"created_at":"2026-05-18T00:17:16.270377+00:00","updated_at":"2026-05-18T00:17:16.270377+00:00"}