{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:UU2ASI22POZFT3PUSW36ZRELF2","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":"a3ab7f4e7c9473a3088d3c6de31ba3a79a68969d1e29089bd1aafd5f9d4e9d64","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-08-08T13:37:20Z","title_canon_sha256":"4e31fb6fb7c4c3a7a90d5511de7b2be97e34dcff4b1d52b2195317a0191c834f"},"schema_version":"1.0","source":{"id":"1808.02777","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1808.02777","created_at":"2026-05-18T00:07:48Z"},{"alias_kind":"arxiv_version","alias_value":"1808.02777v2","created_at":"2026-05-18T00:07:48Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1808.02777","created_at":"2026-05-18T00:07:48Z"},{"alias_kind":"pith_short_12","alias_value":"UU2ASI22POZF","created_at":"2026-05-18T12:32:56Z"},{"alias_kind":"pith_short_16","alias_value":"UU2ASI22POZFT3PU","created_at":"2026-05-18T12:32:56Z"},{"alias_kind":"pith_short_8","alias_value":"UU2ASI22","created_at":"2026-05-18T12:32:56Z"}],"graph_snapshots":[{"event_id":"sha256:287af771cf247d86abd44bfec64803b921ce70be3b0eef9b3e01a28e3e10bde9","target":"graph","created_at":"2026-05-18T00:07:48Z","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":"In a previous work, we introduced an input/output variant of stochastic automata (IOSA) that, once the model is closed (i.e., all synchronizations are resolved), the resulting automaton is fully stochastic, that is, it does not contain non-deterministic choices. However, such variant is not sufficiently versatile for compositional modelling. In this article, we extend IOSA with urgent actions. This extension greatly increases the modularization of the models, allowing to take better advantage on compositionality than its predecessor. However, this extension introduces non-determinism even in c","authors_text":"Pedro R. D'Argenio, Ra\\'ul E. Monti","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-08-08T13:37:20Z","title":"Input/Output Stochastic Automata with Urgency: Confluence and weak determinism"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1808.02777","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:1e0302c6bbf6aea5cbd796575844e9c22d4905bb3d6fccfe25792d49874f63d9","target":"record","created_at":"2026-05-18T00:07:48Z","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":"a3ab7f4e7c9473a3088d3c6de31ba3a79a68969d1e29089bd1aafd5f9d4e9d64","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-08-08T13:37:20Z","title_canon_sha256":"4e31fb6fb7c4c3a7a90d5511de7b2be97e34dcff4b1d52b2195317a0191c834f"},"schema_version":"1.0","source":{"id":"1808.02777","kind":"arxiv","version":2}},"canonical_sha256":"a53409235a7bb259edf495b7ecc48b2e92494eb714430484f6db17b10d15b213","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"a53409235a7bb259edf495b7ecc48b2e92494eb714430484f6db17b10d15b213","first_computed_at":"2026-05-18T00:07:48.891511Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:07:48.891511Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"XWfC2+gMl2Z4ufUWBNETCPM3zden+2sGMuQeLXlidNyc8KhrZQ9pjwXG6+sYhvfCiVwIeuX6lOLV+NARdfgdCQ==","signature_status":"signed_v1","signed_at":"2026-05-18T00:07:48.892128Z","signed_message":"canonical_sha256_bytes"},"source_id":"1808.02777","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:1e0302c6bbf6aea5cbd796575844e9c22d4905bb3d6fccfe25792d49874f63d9","sha256:287af771cf247d86abd44bfec64803b921ce70be3b0eef9b3e01a28e3e10bde9"],"state_sha256":"5b21d92ef70034bbc05243165b2c91f05b0a73e828887f21318db18e99be31ae"}