{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2011:MUOGISEIWFYLN3V7OLQXZ37BPT","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":"db6531ece3078efda998dd084a9f405581e85ce02ea5828821d96625b0dc5e64","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2011-08-01T03:58:08Z","title_canon_sha256":"26541f02efa77bad270e782edb21c76125013f6b2737a94c51ab8ef78b803ae6"},"schema_version":"1.0","source":{"id":"1108.0230","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1108.0230","created_at":"2026-05-18T04:16:31Z"},{"alias_kind":"arxiv_version","alias_value":"1108.0230v1","created_at":"2026-05-18T04:16:31Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1108.0230","created_at":"2026-05-18T04:16:31Z"},{"alias_kind":"pith_short_12","alias_value":"MUOGISEIWFYL","created_at":"2026-05-18T12:26:37Z"},{"alias_kind":"pith_short_16","alias_value":"MUOGISEIWFYLN3V7","created_at":"2026-05-18T12:26:37Z"},{"alias_kind":"pith_short_8","alias_value":"MUOGISEI","created_at":"2026-05-18T12:26:37Z"}],"graph_snapshots":[{"event_id":"sha256:6490a36789d14e25b9e02e504ba084074fcfcb5e19b3f220dcb26724ae567d12","target":"graph","created_at":"2026-05-18T04:16:31Z","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":"This paper proposes a way to effectively compare the potential of processes to cause conflict. In discrete event systems theory, two concurrent systems are said to be in conflict if they can get trapped in a situation where they are both waiting or running endlessly, forever unable to complete their common task. The conflict preorder is a process-algebraic pre-congruence that compares two processes based on their possible conflicts in combination with other processes. This paper improves on previous theoretical descriptions of the conflict preorder by introducing less conflicting pairs as a co","authors_text":"Robi Malik, Simon Ware","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2011-08-01T03:58:08Z","title":"A State-Based Characterisation of the Conflict Preorder"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1108.0230","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:2f362585d37e4eecd038959d130c6906e2076d95fd6d256291d837d50d2568a0","target":"record","created_at":"2026-05-18T04:16:31Z","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":"db6531ece3078efda998dd084a9f405581e85ce02ea5828821d96625b0dc5e64","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2011-08-01T03:58:08Z","title_canon_sha256":"26541f02efa77bad270e782edb21c76125013f6b2737a94c51ab8ef78b803ae6"},"schema_version":"1.0","source":{"id":"1108.0230","kind":"arxiv","version":1}},"canonical_sha256":"651c644888b170b6eebf72e17cefe17ce05d6e942845ef3c76823f49f2e61edd","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"651c644888b170b6eebf72e17cefe17ce05d6e942845ef3c76823f49f2e61edd","first_computed_at":"2026-05-18T04:16:31.454485Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T04:16:31.454485Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"pQBKpk4JEexHlMrONPu5FWJICIw6j0uA1sDAT5PS+tb/IfILo4FjkFPx1ihj2srGJhvuZbzMfp4XWTIP5Nw9Bg==","signature_status":"signed_v1","signed_at":"2026-05-18T04:16:31.454906Z","signed_message":"canonical_sha256_bytes"},"source_id":"1108.0230","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:2f362585d37e4eecd038959d130c6906e2076d95fd6d256291d837d50d2568a0","sha256:6490a36789d14e25b9e02e504ba084074fcfcb5e19b3f220dcb26724ae567d12"],"state_sha256":"24b2324201dbf44e3520d10557bbcce89525aa029b1e43b710ce1894215d071d"}