{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2025:HHCCTDNFFBWQOENVMELKDB4ION","short_pith_number":"pith:HHCCTDNF","schema_version":"1.0","canonical_sha256":"39c4298da5286d0711b56116a187887358f9e5123394852f9068462dae69bcee","source":{"kind":"arxiv","id":"2501.09430","version":1},"attestation_state":"computed","paper":{"title":"HpC: A Calculus for Hybrid and Mobile Systems -- Full Version","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.LO","cs.NI","cs.SY","eess.SY"],"primary_cat":"cs.PL","authors_text":"Bohua Zhan, Hao Wu, Jean-Pierre Talpin, Naijun Zhan, Shuling Wang, Xinxin Liu, Xiong Xu","submitted_at":"2025-01-16T09:58:34Z","abstract_excerpt":"Networked cybernetic and physical systems of the Internet of Things (IoT) immerse civilian and industrial infrastructures into an interconnected and dynamic web of hybrid and mobile devices. The key feature of such systems is the hybrid and tight coupling of mobile and pervasive discrete communications in a continuously evolving environment (discrete computations with predominant continuous dynamics). In the aim of ensuring the correctness and reliability of such heterogeneous infrastructures, we introduce the hybrid {\\pi}-calculus (HpC), to formally capture both mobility, pervasiveness and hy"},"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":"2501.09430","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2025-01-16T09:58:34Z","cross_cats_sorted":["cs.LO","cs.NI","cs.SY","eess.SY"],"title_canon_sha256":"b0c974ce4935b11231ff7d902a891395810282cbb8cf28d0a89512373ca1419d","abstract_canon_sha256":"25ed1586d64c86614f7d80034aec06d5908cea4166c70df6be8365c8496c9055"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T10:01:46.904264Z","signature_b64":"C0aE69fT051BAxGUjQUXzXjEKkhmK3E+ycSLcH+G7RhpmoSKROkXxGjLbPjtcIbFxsyk+mFB+MDs79cYzpb1Bw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"39c4298da5286d0711b56116a187887358f9e5123394852f9068462dae69bcee","last_reissued_at":"2026-07-05T10:01:46.903799Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T10:01:46.903799Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"HpC: A Calculus for Hybrid and Mobile Systems -- Full Version","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.LO","cs.NI","cs.SY","eess.SY"],"primary_cat":"cs.PL","authors_text":"Bohua Zhan, Hao Wu, Jean-Pierre Talpin, Naijun Zhan, Shuling Wang, Xinxin Liu, Xiong Xu","submitted_at":"2025-01-16T09:58:34Z","abstract_excerpt":"Networked cybernetic and physical systems of the Internet of Things (IoT) immerse civilian and industrial infrastructures into an interconnected and dynamic web of hybrid and mobile devices. The key feature of such systems is the hybrid and tight coupling of mobile and pervasive discrete communications in a continuously evolving environment (discrete computations with predominant continuous dynamics). In the aim of ensuring the correctness and reliability of such heterogeneous infrastructures, we introduce the hybrid {\\pi}-calculus (HpC), to formally capture both mobility, pervasiveness and hy"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2501.09430","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2501.09430/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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":"2501.09430","created_at":"2026-07-05T10:01:46.903856+00:00"},{"alias_kind":"arxiv_version","alias_value":"2501.09430v1","created_at":"2026-07-05T10:01:46.903856+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2501.09430","created_at":"2026-07-05T10:01:46.903856+00:00"},{"alias_kind":"pith_short_12","alias_value":"HHCCTDNFFBWQ","created_at":"2026-07-05T10:01:46.903856+00:00"},{"alias_kind":"pith_short_16","alias_value":"HHCCTDNFFBWQOENV","created_at":"2026-07-05T10:01:46.903856+00:00"},{"alias_kind":"pith_short_8","alias_value":"HHCCTDNF","created_at":"2026-07-05T10:01:46.903856+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/HHCCTDNFFBWQOENVMELKDB4ION","json":"https://pith.science/pith/HHCCTDNFFBWQOENVMELKDB4ION.json","graph_json":"https://pith.science/api/pith-number/HHCCTDNFFBWQOENVMELKDB4ION/graph.json","events_json":"https://pith.science/api/pith-number/HHCCTDNFFBWQOENVMELKDB4ION/events.json","paper":"https://pith.science/paper/HHCCTDNF"},"agent_actions":{"view_html":"https://pith.science/pith/HHCCTDNFFBWQOENVMELKDB4ION","download_json":"https://pith.science/pith/HHCCTDNFFBWQOENVMELKDB4ION.json","view_paper":"https://pith.science/paper/HHCCTDNF","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2501.09430&json=true","fetch_graph":"https://pith.science/api/pith-number/HHCCTDNFFBWQOENVMELKDB4ION/graph.json","fetch_events":"https://pith.science/api/pith-number/HHCCTDNFFBWQOENVMELKDB4ION/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/HHCCTDNFFBWQOENVMELKDB4ION/action/timestamp_anchor","attest_storage":"https://pith.science/pith/HHCCTDNFFBWQOENVMELKDB4ION/action/storage_attestation","attest_author":"https://pith.science/pith/HHCCTDNFFBWQOENVMELKDB4ION/action/author_attestation","sign_citation":"https://pith.science/pith/HHCCTDNFFBWQOENVMELKDB4ION/action/citation_signature","submit_replication":"https://pith.science/pith/HHCCTDNFFBWQOENVMELKDB4ION/action/replication_record"}},"created_at":"2026-07-05T10:01:46.903856+00:00","updated_at":"2026-07-05T10:01:46.903856+00:00"}