{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2011:MUOGISEIWFYLN3V7OLQXZ37BPT","short_pith_number":"pith:MUOGISEI","canonical_record":{"source":{"id":"1108.0230","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2011-08-01T03:58:08Z","cross_cats_sorted":[],"title_canon_sha256":"26541f02efa77bad270e782edb21c76125013f6b2737a94c51ab8ef78b803ae6","abstract_canon_sha256":"db6531ece3078efda998dd084a9f405581e85ce02ea5828821d96625b0dc5e64"},"schema_version":"1.0"},"canonical_sha256":"651c644888b170b6eebf72e17cefe17ce05d6e942845ef3c76823f49f2e61edd","source":{"kind":"arxiv","id":"1108.0230","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"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2011:MUOGISEIWFYLN3V7OLQXZ37BPT","target":"record","payload":{"canonical_record":{"source":{"id":"1108.0230","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2011-08-01T03:58:08Z","cross_cats_sorted":[],"title_canon_sha256":"26541f02efa77bad270e782edb21c76125013f6b2737a94c51ab8ef78b803ae6","abstract_canon_sha256":"db6531ece3078efda998dd084a9f405581e85ce02ea5828821d96625b0dc5e64"},"schema_version":"1.0"},"canonical_sha256":"651c644888b170b6eebf72e17cefe17ce05d6e942845ef3c76823f49f2e61edd","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T04:16:31.454906Z","signature_b64":"pQBKpk4JEexHlMrONPu5FWJICIw6j0uA1sDAT5PS+tb/IfILo4FjkFPx1ihj2srGJhvuZbzMfp4XWTIP5Nw9Bg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"651c644888b170b6eebf72e17cefe17ce05d6e942845ef3c76823f49f2e61edd","last_reissued_at":"2026-05-18T04:16:31.454485Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T04:16:31.454485Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1108.0230","source_version":1,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T04:16:31Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"VGp1e49PQc9yewbcb4FEYtyc5+Cs4ouSYm3DfkUBY29Ie5puI4yI7Z+yHz4kGcT78PAmfsor0c4L9dY9g4ceBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-30T13:44:30.119452Z"},"content_sha256":"2f362585d37e4eecd038959d130c6906e2076d95fd6d256291d837d50d2568a0","schema_version":"1.0","event_id":"sha256:2f362585d37e4eecd038959d130c6906e2076d95fd6d256291d837d50d2568a0"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2011:MUOGISEIWFYLN3V7OLQXZ37BPT","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"A State-Based Characterisation of the Conflict Preorder","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.FL","authors_text":"Robi Malik, Simon Ware","submitted_at":"2011-08-01T03:58:08Z","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"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1108.0230","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"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T04:16:31Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"nmp/a1hZMB4ZKB2rMjYNWVzNrFQLfgC/8TbalNo1c7evtyDfEcI1IOlIQrHbTiBQ4eIXZFT/s3iae/Weemi9Cg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-30T13:44:30.119787Z"},"content_sha256":"6490a36789d14e25b9e02e504ba084074fcfcb5e19b3f220dcb26724ae567d12","schema_version":"1.0","event_id":"sha256:6490a36789d14e25b9e02e504ba084074fcfcb5e19b3f220dcb26724ae567d12"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/MUOGISEIWFYLN3V7OLQXZ37BPT/bundle.json","state_url":"https://pith.science/pith/MUOGISEIWFYLN3V7OLQXZ37BPT/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/MUOGISEIWFYLN3V7OLQXZ37BPT/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-06-30T13:44:30Z","links":{"resolver":"https://pith.science/pith/MUOGISEIWFYLN3V7OLQXZ37BPT","bundle":"https://pith.science/pith/MUOGISEIWFYLN3V7OLQXZ37BPT/bundle.json","state":"https://pith.science/pith/MUOGISEIWFYLN3V7OLQXZ37BPT/state.json","well_known_bundle":"https://pith.science/.well-known/pith/MUOGISEIWFYLN3V7OLQXZ37BPT/bundle.json"},"state":{"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"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"gzyX2nFkipGASL7UYNsgEvEt8ZhsRr5dOAPi7D9f0E/tyCMjjKSex4f/Of38jIUKaJZw2oXlPSU//UmVgK7LAw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-30T13:44:30.121626Z","bundle_sha256":"58c7bc48279cb4c70083fff4a79f5daafae1f01f1031326f6e8902e5edf9822d"}}