{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2013:TPJRNPUV3JNIG2XUEVF757N6K7","short_pith_number":"pith:TPJRNPUV","schema_version":"1.0","canonical_sha256":"9bd316be95da5a836af4254bfefdbe57c5ce4e72b133ea833155923855174801","source":{"kind":"arxiv","id":"1306.1302","version":1},"attestation_state":"computed","paper":{"title":"Designing Run-Time Environments to Have Predefined Global Dynamics","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.NI"],"primary_cat":"cs.SE","authors_text":"Christian Tschudin, Massimo Monti, Pierre Imai","submitted_at":"2013-06-06T06:26:50Z","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"},"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":"1306.1302","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2013-06-06T06:26:50Z","cross_cats_sorted":["cs.NI"],"title_canon_sha256":"b48b5b6268a8df4413ea90050a25439eea765ac1408de12845faa421def7d84b","abstract_canon_sha256":"07c0ed482afded8b6a461d74d81ca9d3d52ca21420276c3cd22f93324995208f"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:21:42.714924Z","signature_b64":"zHuZBSuOiu+U66WhJt50vPZHK8ajLeyAPQLyoOvlYwzAOPlgiJwuG4wLLFM/aq2vk253X0tWG7HGDZ5v9gUqBQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"9bd316be95da5a836af4254bfefdbe57c5ce4e72b133ea833155923855174801","last_reissued_at":"2026-05-18T03:21:42.714288Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:21:42.714288Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Designing Run-Time Environments to Have Predefined Global Dynamics","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.NI"],"primary_cat":"cs.SE","authors_text":"Christian Tschudin, Massimo Monti, Pierre Imai","submitted_at":"2013-06-06T06:26:50Z","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"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1306.1302","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":""},"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":"1306.1302","created_at":"2026-05-18T03:21:42.714382+00:00"},{"alias_kind":"arxiv_version","alias_value":"1306.1302v1","created_at":"2026-05-18T03:21:42.714382+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1306.1302","created_at":"2026-05-18T03:21:42.714382+00:00"},{"alias_kind":"pith_short_12","alias_value":"TPJRNPUV3JNI","created_at":"2026-05-18T12:28:02.375192+00:00"},{"alias_kind":"pith_short_16","alias_value":"TPJRNPUV3JNIG2XU","created_at":"2026-05-18T12:28:02.375192+00:00"},{"alias_kind":"pith_short_8","alias_value":"TPJRNPUV","created_at":"2026-05-18T12:28:02.375192+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/TPJRNPUV3JNIG2XUEVF757N6K7","json":"https://pith.science/pith/TPJRNPUV3JNIG2XUEVF757N6K7.json","graph_json":"https://pith.science/api/pith-number/TPJRNPUV3JNIG2XUEVF757N6K7/graph.json","events_json":"https://pith.science/api/pith-number/TPJRNPUV3JNIG2XUEVF757N6K7/events.json","paper":"https://pith.science/paper/TPJRNPUV"},"agent_actions":{"view_html":"https://pith.science/pith/TPJRNPUV3JNIG2XUEVF757N6K7","download_json":"https://pith.science/pith/TPJRNPUV3JNIG2XUEVF757N6K7.json","view_paper":"https://pith.science/paper/TPJRNPUV","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1306.1302&json=true","fetch_graph":"https://pith.science/api/pith-number/TPJRNPUV3JNIG2XUEVF757N6K7/graph.json","fetch_events":"https://pith.science/api/pith-number/TPJRNPUV3JNIG2XUEVF757N6K7/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/TPJRNPUV3JNIG2XUEVF757N6K7/action/timestamp_anchor","attest_storage":"https://pith.science/pith/TPJRNPUV3JNIG2XUEVF757N6K7/action/storage_attestation","attest_author":"https://pith.science/pith/TPJRNPUV3JNIG2XUEVF757N6K7/action/author_attestation","sign_citation":"https://pith.science/pith/TPJRNPUV3JNIG2XUEVF757N6K7/action/citation_signature","submit_replication":"https://pith.science/pith/TPJRNPUV3JNIG2XUEVF757N6K7/action/replication_record"}},"created_at":"2026-05-18T03:21:42.714382+00:00","updated_at":"2026-05-18T03:21:42.714382+00:00"}