{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:BECGZYISFHHRLW4GCL73RYBK2M","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":"6d57669fd060838487706e8dce043a6792af7eefe5d03fbcc408e3b0af06c9e2","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2013-02-14T02:26:50Z","title_canon_sha256":"3dd81235cc3b14ee86daa90935d29b16a3b533447e0dfd2c188214e5b6dd788e"},"schema_version":"1.0","source":{"id":"1302.3293","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1302.3293","created_at":"2026-05-18T03:33:39Z"},{"alias_kind":"arxiv_version","alias_value":"1302.3293v1","created_at":"2026-05-18T03:33:39Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1302.3293","created_at":"2026-05-18T03:33:39Z"},{"alias_kind":"pith_short_12","alias_value":"BECGZYISFHHR","created_at":"2026-05-18T12:27:38Z"},{"alias_kind":"pith_short_16","alias_value":"BECGZYISFHHRLW4G","created_at":"2026-05-18T12:27:38Z"},{"alias_kind":"pith_short_8","alias_value":"BECGZYIS","created_at":"2026-05-18T12:27:38Z"}],"graph_snapshots":[{"event_id":"sha256:2a3e7bb842682c6509cabc1844011c8be8637bf5fa791e8cc4e77bab03242520","target":"graph","created_at":"2026-05-18T03:33:39Z","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":"The starting point of this work is a framework allowing to model systems with dynamic process creation, equipped with a procedure to detect symmetric executions (ie., which differ only by the identities of processes). This allows to reduce the state space, potentially to an exponentially smaller size, and, because process identifiers are never reused, this also allows to reduce to finite size some infinite state spaces. However, in this approach, the procedure to detect symmetries does not allow for computationally efficient algorithms, mainly because each newly computed state has to be compar","authors_text":"{\\L}ukasz Fronc (IBISC, Universit\\'e d'Evry-Val d'Essonne)","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2013-02-14T02:26:50Z","title":"Effective Marking Equivalence Checking in Systems with Dynamic Process Creation"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1302.3293","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:418bb6d3470edeab7d91f82b61e1f6d5cc24d843ebaa219a7195bf0c5ef8f54c","target":"record","created_at":"2026-05-18T03:33:39Z","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":"6d57669fd060838487706e8dce043a6792af7eefe5d03fbcc408e3b0af06c9e2","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2013-02-14T02:26:50Z","title_canon_sha256":"3dd81235cc3b14ee86daa90935d29b16a3b533447e0dfd2c188214e5b6dd788e"},"schema_version":"1.0","source":{"id":"1302.3293","kind":"arxiv","version":1}},"canonical_sha256":"09046ce11229cf15db8612ffb8e02ad3177c3ec016241ab406d4b32bab0496df","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"09046ce11229cf15db8612ffb8e02ad3177c3ec016241ab406d4b32bab0496df","first_computed_at":"2026-05-18T03:33:39.298649Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:33:39.298649Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"1bKpISpohEJ7kjNCWXkWZiVY+ISUPb0RwgQWTnySfjLHqlwAVaDT+K4NTdufJC9DB78zVFEyhbiAIHeaycu3Bw==","signature_status":"signed_v1","signed_at":"2026-05-18T03:33:39.299348Z","signed_message":"canonical_sha256_bytes"},"source_id":"1302.3293","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:418bb6d3470edeab7d91f82b61e1f6d5cc24d843ebaa219a7195bf0c5ef8f54c","sha256:2a3e7bb842682c6509cabc1844011c8be8637bf5fa791e8cc4e77bab03242520"],"state_sha256":"08ae0de3f2b2c3b1ab2e7fbcc2726d8225750d303e25c65dad5947e28bebe03d"}