{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:HHCCTDNFFBWQOENVMELKDB4ION","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"25ed1586d64c86614f7d80034aec06d5908cea4166c70df6be8365c8496c9055","cross_cats_sorted":["cs.LO","cs.NI","cs.SY","eess.SY"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2025-01-16T09:58:34Z","title_canon_sha256":"b0c974ce4935b11231ff7d902a891395810282cbb8cf28d0a89512373ca1419d"},"schema_version":"1.0","source":{"id":"2501.09430","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2501.09430","created_at":"2026-07-05T10:01:46Z"},{"alias_kind":"arxiv_version","alias_value":"2501.09430v1","created_at":"2026-07-05T10:01:46Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2501.09430","created_at":"2026-07-05T10:01:46Z"},{"alias_kind":"pith_short_12","alias_value":"HHCCTDNFFBWQ","created_at":"2026-07-05T10:01:46Z"},{"alias_kind":"pith_short_16","alias_value":"HHCCTDNFFBWQOENV","created_at":"2026-07-05T10:01:46Z"},{"alias_kind":"pith_short_8","alias_value":"HHCCTDNF","created_at":"2026-07-05T10:01:46Z"}],"graph_snapshots":[{"event_id":"sha256:da392456b6ab34dca4d38bd1bf3e91cb0b1b2b5c019df6e407f8b041c889508e","target":"graph","created_at":"2026-07-05T10:01:46Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2501.09430/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"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","authors_text":"Bohua Zhan, Hao Wu, Jean-Pierre Talpin, Naijun Zhan, Shuling Wang, Xinxin Liu, Xiong Xu","cross_cats":["cs.LO","cs.NI","cs.SY","eess.SY"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2025-01-16T09:58:34Z","title":"HpC: A Calculus for Hybrid and Mobile Systems -- Full Version"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2501.09430","kind":"arxiv","version":1},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:8102c1c2d1df9e13a514efba812c32a5884206a2ec44a1b7aeaf48935324cbe0","target":"record","created_at":"2026-07-05T10:01:46Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"25ed1586d64c86614f7d80034aec06d5908cea4166c70df6be8365c8496c9055","cross_cats_sorted":["cs.LO","cs.NI","cs.SY","eess.SY"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2025-01-16T09:58:34Z","title_canon_sha256":"b0c974ce4935b11231ff7d902a891395810282cbb8cf28d0a89512373ca1419d"},"schema_version":"1.0","source":{"id":"2501.09430","kind":"arxiv","version":1}},"canonical_sha256":"39c4298da5286d0711b56116a187887358f9e5123394852f9068462dae69bcee","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"39c4298da5286d0711b56116a187887358f9e5123394852f9068462dae69bcee","first_computed_at":"2026-07-05T10:01:46.903799Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T10:01:46.903799Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"C0aE69fT051BAxGUjQUXzXjEKkhmK3E+ycSLcH+G7RhpmoSKROkXxGjLbPjtcIbFxsyk+mFB+MDs79cYzpb1Bw==","signature_status":"signed_v1","signed_at":"2026-07-05T10:01:46.904264Z","signed_message":"canonical_sha256_bytes"},"source_id":"2501.09430","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:8102c1c2d1df9e13a514efba812c32a5884206a2ec44a1b7aeaf48935324cbe0","sha256:da392456b6ab34dca4d38bd1bf3e91cb0b1b2b5c019df6e407f8b041c889508e"],"state_sha256":"aabe76f3961153c08c83f6a73b2b7dc79a474d4bccef76c739689e8db29852a0"}