{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:TDFCAQPKPPCGTB3FRRBXGOHJYQ","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":"97b52025288844d16953adbd57d6840d7c9223013c89aa9fbbe762ff70dac207","cross_cats_sorted":["cs.DC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2017-11-25T05:13:27Z","title_canon_sha256":"1c7f442a8e732ce5f68c838adf6a5d9e83911d6a3e390c50def7f905b12cfd66"},"schema_version":"1.0","source":{"id":"1711.09192","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1711.09192","created_at":"2026-05-18T00:25:23Z"},{"alias_kind":"arxiv_version","alias_value":"1711.09192v2","created_at":"2026-05-18T00:25:23Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1711.09192","created_at":"2026-05-18T00:25:23Z"},{"alias_kind":"pith_short_12","alias_value":"TDFCAQPKPPCG","created_at":"2026-05-18T12:31:46Z"},{"alias_kind":"pith_short_16","alias_value":"TDFCAQPKPPCGTB3F","created_at":"2026-05-18T12:31:46Z"},{"alias_kind":"pith_short_8","alias_value":"TDFCAQPK","created_at":"2026-05-18T12:31:46Z"}],"graph_snapshots":[{"event_id":"sha256:d2ac6778e88ff3e3aeebb75ad1d34b1412fba12b625320bdf020f1c76a342067","target":"graph","created_at":"2026-05-18T00:25:23Z","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"},"paper":{"abstract_excerpt":"Model-based development is a widely-used method to describe complex systems that enables the rapid prototyping. Advances in the science of distributed systems has led to the development of large scale statechart models which are distributed among multiple locations. Taking medicine for example, models of best-practice guidelines during rural ambulance transport are distributed across hospital settings from a rural hospital, to an ambulance, to a central tertiary hospital. Unfortunately, these medical models require continuous and real-time communication across individual medical models in phys","authors_text":"Axel Terfloth, Houbing Song, Lui Sha, Mohammad Hosseini, Richard Berlin","cross_cats":["cs.DC"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2017-11-25T05:13:27Z","title":"Communication and Synchronization of Distributed Medical Models: Design, Development, and Performance Analysis"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1711.09192","kind":"arxiv","version":2},"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:327df30b8d59d4194773bb5165fb3beef3cf2cbac3dffd5420d49ba3002e72b6","target":"record","created_at":"2026-05-18T00:25:23Z","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":"97b52025288844d16953adbd57d6840d7c9223013c89aa9fbbe762ff70dac207","cross_cats_sorted":["cs.DC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2017-11-25T05:13:27Z","title_canon_sha256":"1c7f442a8e732ce5f68c838adf6a5d9e83911d6a3e390c50def7f905b12cfd66"},"schema_version":"1.0","source":{"id":"1711.09192","kind":"arxiv","version":2}},"canonical_sha256":"98ca2041ea7bc46987658c437338e9c4123a6ab5d3ae7cc740800d491efef5d0","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"98ca2041ea7bc46987658c437338e9c4123a6ab5d3ae7cc740800d491efef5d0","first_computed_at":"2026-05-18T00:25:23.298946Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:25:23.298946Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"knyx2nEdnPMS2UdQoqh/9ZPasCc5qGaszeYlBWVOqoylmE3v2YGhvhap56hnaBghZIU3H8pIa6M5hkM+TM8ICg==","signature_status":"signed_v1","signed_at":"2026-05-18T00:25:23.299506Z","signed_message":"canonical_sha256_bytes"},"source_id":"1711.09192","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:327df30b8d59d4194773bb5165fb3beef3cf2cbac3dffd5420d49ba3002e72b6","sha256:d2ac6778e88ff3e3aeebb75ad1d34b1412fba12b625320bdf020f1c76a342067"],"state_sha256":"63a10f9992c2f307a1b382536edf006cb31068947cb91f2cd7fe56b876c1af00"}