{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:TPJRNPUV3JNIG2XUEVF757N6K7","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":"07c0ed482afded8b6a461d74d81ca9d3d52ca21420276c3cd22f93324995208f","cross_cats_sorted":["cs.NI"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2013-06-06T06:26:50Z","title_canon_sha256":"b48b5b6268a8df4413ea90050a25439eea765ac1408de12845faa421def7d84b"},"schema_version":"1.0","source":{"id":"1306.1302","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1306.1302","created_at":"2026-05-18T03:21:42Z"},{"alias_kind":"arxiv_version","alias_value":"1306.1302v1","created_at":"2026-05-18T03:21:42Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1306.1302","created_at":"2026-05-18T03:21:42Z"},{"alias_kind":"pith_short_12","alias_value":"TPJRNPUV3JNI","created_at":"2026-05-18T12:28:02Z"},{"alias_kind":"pith_short_16","alias_value":"TPJRNPUV3JNIG2XU","created_at":"2026-05-18T12:28:02Z"},{"alias_kind":"pith_short_8","alias_value":"TPJRNPUV","created_at":"2026-05-18T12:28:02Z"}],"graph_snapshots":[{"event_id":"sha256:eee83b99c9e1d74575927fab7346d6ae8ac2bac00741c3f78c538a0a2982b29b","target":"graph","created_at":"2026-05-18T03:21:42Z","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":"The stability and the predictability of a computer network algorithm's performance are as important as the main functional purpose of networking software. However, asserting or deriving such properties from the finite state machine implementations of protocols is hard and, except for singular cases like TCP, is not done today. In this paper, we propose to design and study run-time environments for networking protocols which inherently enforce desirable, predictable global dynamics. To this end we merge two complementary design approaches: (i) A design-time and bottom up approach that enables u","authors_text":"Christian Tschudin, Massimo Monti, Pierre Imai","cross_cats":["cs.NI"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2013-06-06T06:26:50Z","title":"Designing Run-Time Environments to Have Predefined Global Dynamics"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1306.1302","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:d8113771eebbe46fa3f28ab84d0bef9ea2e0a8ba678201dd2a8a397890475fa6","target":"record","created_at":"2026-05-18T03:21:42Z","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":"07c0ed482afded8b6a461d74d81ca9d3d52ca21420276c3cd22f93324995208f","cross_cats_sorted":["cs.NI"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2013-06-06T06:26:50Z","title_canon_sha256":"b48b5b6268a8df4413ea90050a25439eea765ac1408de12845faa421def7d84b"},"schema_version":"1.0","source":{"id":"1306.1302","kind":"arxiv","version":1}},"canonical_sha256":"9bd316be95da5a836af4254bfefdbe57c5ce4e72b133ea833155923855174801","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"9bd316be95da5a836af4254bfefdbe57c5ce4e72b133ea833155923855174801","first_computed_at":"2026-05-18T03:21:42.714288Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:21:42.714288Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"zHuZBSuOiu+U66WhJt50vPZHK8ajLeyAPQLyoOvlYwzAOPlgiJwuG4wLLFM/aq2vk253X0tWG7HGDZ5v9gUqBQ==","signature_status":"signed_v1","signed_at":"2026-05-18T03:21:42.714924Z","signed_message":"canonical_sha256_bytes"},"source_id":"1306.1302","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:d8113771eebbe46fa3f28ab84d0bef9ea2e0a8ba678201dd2a8a397890475fa6","sha256:eee83b99c9e1d74575927fab7346d6ae8ac2bac00741c3f78c538a0a2982b29b"],"state_sha256":"387361857009b22aba4549070bfdc72f0948806b48b6ea6fb04d238602246d24"}