{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2016:UAE5EPALKBAN5ZHO5WWAPZEROE","short_pith_number":"pith:UAE5EPAL","schema_version":"1.0","canonical_sha256":"a009d23c0b5040dee4eeedac07e491712992e16c09e2d965f8e29ca768386534","source":{"kind":"arxiv","id":"1604.06030","version":1},"attestation_state":"computed","paper":{"title":"Dynamic Input/Output Automata: a Formal and Compositional Model for Dynamic Systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.FL"],"primary_cat":"cs.DC","authors_text":"Nancy A. Lynch, Paul C. Attie","submitted_at":"2016-04-20T16:49:32Z","abstract_excerpt":"We present dynamic I/O automata (DIOA), a compositional model of dynamic systems. In DIOA, automata can be created and destroyed dynamically, as computation proceeds, and an automaton can dynamically change its signature, i.e., the set of actions in which it can participate.\n  DIOA features operators for parallel composition, action hiding, action renaming, a notion of automaton creation, and a notion of behavioral subtyping by means of trace inclusion. DIOA can model mobility, using signature modification, and is hierarchical: a dynamically changing system of interacting automata is itself mo"},"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":"1604.06030","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2016-04-20T16:49:32Z","cross_cats_sorted":["cs.FL"],"title_canon_sha256":"a52f442be648b9231e66d9bdbc17019612cff28ca93c40c93aae71c17f31447b","abstract_canon_sha256":"4222bedcaf8ec18b005f5dc6196ab0b8999d4e3339ddd67fff319230296a3f41"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:16:33.937731Z","signature_b64":"93fMb4Rc0c26UW62tnm8h8nROV6RWkX6qpYqF1FTRPa4j9IrLA6bRREMzUHZOuGhIKzeMnFSLDKc9HynB75qDQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"a009d23c0b5040dee4eeedac07e491712992e16c09e2d965f8e29ca768386534","last_reissued_at":"2026-05-18T01:16:33.937096Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:16:33.937096Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Dynamic Input/Output Automata: a Formal and Compositional Model for Dynamic Systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.FL"],"primary_cat":"cs.DC","authors_text":"Nancy A. Lynch, Paul C. Attie","submitted_at":"2016-04-20T16:49:32Z","abstract_excerpt":"We present dynamic I/O automata (DIOA), a compositional model of dynamic systems. In DIOA, automata can be created and destroyed dynamically, as computation proceeds, and an automaton can dynamically change its signature, i.e., the set of actions in which it can participate.\n  DIOA features operators for parallel composition, action hiding, action renaming, a notion of automaton creation, and a notion of behavioral subtyping by means of trace inclusion. DIOA can model mobility, using signature modification, and is hierarchical: a dynamically changing system of interacting automata is itself mo"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1604.06030","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":"1604.06030","created_at":"2026-05-18T01:16:33.937184+00:00"},{"alias_kind":"arxiv_version","alias_value":"1604.06030v1","created_at":"2026-05-18T01:16:33.937184+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1604.06030","created_at":"2026-05-18T01:16:33.937184+00:00"},{"alias_kind":"pith_short_12","alias_value":"UAE5EPALKBAN","created_at":"2026-05-18T12:30:46.583412+00:00"},{"alias_kind":"pith_short_16","alias_value":"UAE5EPALKBAN5ZHO","created_at":"2026-05-18T12:30:46.583412+00:00"},{"alias_kind":"pith_short_8","alias_value":"UAE5EPAL","created_at":"2026-05-18T12:30:46.583412+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/UAE5EPALKBAN5ZHO5WWAPZEROE","json":"https://pith.science/pith/UAE5EPALKBAN5ZHO5WWAPZEROE.json","graph_json":"https://pith.science/api/pith-number/UAE5EPALKBAN5ZHO5WWAPZEROE/graph.json","events_json":"https://pith.science/api/pith-number/UAE5EPALKBAN5ZHO5WWAPZEROE/events.json","paper":"https://pith.science/paper/UAE5EPAL"},"agent_actions":{"view_html":"https://pith.science/pith/UAE5EPALKBAN5ZHO5WWAPZEROE","download_json":"https://pith.science/pith/UAE5EPALKBAN5ZHO5WWAPZEROE.json","view_paper":"https://pith.science/paper/UAE5EPAL","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1604.06030&json=true","fetch_graph":"https://pith.science/api/pith-number/UAE5EPALKBAN5ZHO5WWAPZEROE/graph.json","fetch_events":"https://pith.science/api/pith-number/UAE5EPALKBAN5ZHO5WWAPZEROE/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/UAE5EPALKBAN5ZHO5WWAPZEROE/action/timestamp_anchor","attest_storage":"https://pith.science/pith/UAE5EPALKBAN5ZHO5WWAPZEROE/action/storage_attestation","attest_author":"https://pith.science/pith/UAE5EPALKBAN5ZHO5WWAPZEROE/action/author_attestation","sign_citation":"https://pith.science/pith/UAE5EPALKBAN5ZHO5WWAPZEROE/action/citation_signature","submit_replication":"https://pith.science/pith/UAE5EPALKBAN5ZHO5WWAPZEROE/action/replication_record"}},"created_at":"2026-05-18T01:16:33.937184+00:00","updated_at":"2026-05-18T01:16:33.937184+00:00"}