{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2012:AVF5WUEOEFIKI7AY3SUSAJVWY4","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":"0ea98f892b95a5f4e1d83d3ba153919464a236dc7863db9cab20a395be738595","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2012-07-18T05:04:57Z","title_canon_sha256":"b7743defe15ed91d9a2b44705dfe57c95a894d5f2eff1af4da473c7cf58d801e"},"schema_version":"1.0","source":{"id":"1207.4270","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1207.4270","created_at":"2026-05-18T03:50:47Z"},{"alias_kind":"arxiv_version","alias_value":"1207.4270v1","created_at":"2026-05-18T03:50:47Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1207.4270","created_at":"2026-05-18T03:50:47Z"},{"alias_kind":"pith_short_12","alias_value":"AVF5WUEOEFIK","created_at":"2026-05-18T12:26:58Z"},{"alias_kind":"pith_short_16","alias_value":"AVF5WUEOEFIKI7AY","created_at":"2026-05-18T12:26:58Z"},{"alias_kind":"pith_short_8","alias_value":"AVF5WUEO","created_at":"2026-05-18T12:26:58Z"}],"graph_snapshots":[{"event_id":"sha256:7a0f8d69fe29bb5a06895a9b62ca8da83d7c809f57f71f1423e48db7c8e0564e","target":"graph","created_at":"2026-05-18T03:50:47Z","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":"Motivated by the response pattern for property specifications and applications within flexible workflow management systems, we report upon an initial study of modal and mixed transition systems in which the must transitions are interpreted as must eventually, and in which implementations can contain may behaviors that are resolved at run-time. We propose Transition Systems with Responses (TSRs) as a suitable model for this study. We prove that TSRs correspond to a restricted class of mixed transition systems, which we refer to as the action-deterministic mixed transition systems. We show that ","authors_text":"Andrzej W\\k{a}sowski, Gian Perrone, Marco Carbone, Thomas Hildebrandt","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2012-07-18T05:04:57Z","title":"Refinement for Transition Systems with Responses"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1207.4270","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:57d09d715e884a371f030d6dd10ee087296a7b057d59aeccb49fa7b6712101e1","target":"record","created_at":"2026-05-18T03:50:47Z","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":"0ea98f892b95a5f4e1d83d3ba153919464a236dc7863db9cab20a395be738595","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2012-07-18T05:04:57Z","title_canon_sha256":"b7743defe15ed91d9a2b44705dfe57c95a894d5f2eff1af4da473c7cf58d801e"},"schema_version":"1.0","source":{"id":"1207.4270","kind":"arxiv","version":1}},"canonical_sha256":"054bdb508e2150a47c18dca92026b6c70fe4d0bc5b8c0b60d2d69a529b4f8ed0","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"054bdb508e2150a47c18dca92026b6c70fe4d0bc5b8c0b60d2d69a529b4f8ed0","first_computed_at":"2026-05-18T03:50:47.156066Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:50:47.156066Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"zBfcIIK+4bAnEn3PFzRpZAlWdU4DRUfCFWJMO3G3hS+QOs4IDx9tocMBtKzrV3JlHLG7ql19vdcm9nxGhRxuCg==","signature_status":"signed_v1","signed_at":"2026-05-18T03:50:47.156665Z","signed_message":"canonical_sha256_bytes"},"source_id":"1207.4270","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:57d09d715e884a371f030d6dd10ee087296a7b057d59aeccb49fa7b6712101e1","sha256:7a0f8d69fe29bb5a06895a9b62ca8da83d7c809f57f71f1423e48db7c8e0564e"],"state_sha256":"61a58395604db42007e10cfc341982737f50512404aae3f9a31ad616dcbccdbf"}