{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:NPK7UQVXSKXNPKNZLHAIIREPQH","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":"366b9927202e788d81eda33020a11ebd878f7719f5e533e8a23e2bbb72c58842","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2015-10-28T21:54:13Z","title_canon_sha256":"46b1e8164402d6d2694546b94332024cf5042a1f94cd99d211109ae07f1dcbf2"},"schema_version":"1.0","source":{"id":"1510.08506","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1510.08506","created_at":"2026-05-18T01:28:28Z"},{"alias_kind":"arxiv_version","alias_value":"1510.08506v1","created_at":"2026-05-18T01:28:28Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1510.08506","created_at":"2026-05-18T01:28:28Z"},{"alias_kind":"pith_short_12","alias_value":"NPK7UQVXSKXN","created_at":"2026-05-18T12:29:34Z"},{"alias_kind":"pith_short_16","alias_value":"NPK7UQVXSKXNPKNZ","created_at":"2026-05-18T12:29:34Z"},{"alias_kind":"pith_short_8","alias_value":"NPK7UQVX","created_at":"2026-05-18T12:29:34Z"}],"graph_snapshots":[{"event_id":"sha256:2a6686a4e8d8f2f4bc38d87c15cfae08be12ff86c4b03c62e7f72fd2678e9ca1","target":"graph","created_at":"2026-05-18T01:28:28Z","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":"Symmetry reduction is a well-known approach for alleviating the state explosion problem in model checking. Automatically identifying symmetries in concurrent systems, however, is computationally expensive. We propose a symbolic framework for capturing symmetry patterns in parameterised systems (i.e. an infinite family of finite-state systems): two regular word transducers to represent, respectively, parameterised systems and symmetry patterns. The framework subsumes various types of symmetry relations ranging from weaker notions (e.g. simulation preorders) to the strongest notion (i.e. isomorp","authors_text":"Anthony W. Lin, Jun Sun, Philipp R\\\"ummer, Truong Khanh Nguyen","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2015-10-28T21:54:13Z","title":"Regular Symmetry Patterns (Technical Report)"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1510.08506","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:af7757015acb9cac4f89f8470c2e049ea6911591414ad751180987a488da6b2f","target":"record","created_at":"2026-05-18T01:28:28Z","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":"366b9927202e788d81eda33020a11ebd878f7719f5e533e8a23e2bbb72c58842","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2015-10-28T21:54:13Z","title_canon_sha256":"46b1e8164402d6d2694546b94332024cf5042a1f94cd99d211109ae07f1dcbf2"},"schema_version":"1.0","source":{"id":"1510.08506","kind":"arxiv","version":1}},"canonical_sha256":"6bd5fa42b792aed7a9b959c084448f81f12d5f14630eb01a42349b7f317cb896","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"6bd5fa42b792aed7a9b959c084448f81f12d5f14630eb01a42349b7f317cb896","first_computed_at":"2026-05-18T01:28:28.786438Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:28:28.786438Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"i4Pg6GnCFlCSWAbNwqv2NGVpSVYLZ6NbKRtJCI6+Ct2tcs0x/HM8w1tXZquI3uCLwaIyiiFxN/N1cdmJ/lR8Aw==","signature_status":"signed_v1","signed_at":"2026-05-18T01:28:28.787035Z","signed_message":"canonical_sha256_bytes"},"source_id":"1510.08506","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:af7757015acb9cac4f89f8470c2e049ea6911591414ad751180987a488da6b2f","sha256:2a6686a4e8d8f2f4bc38d87c15cfae08be12ff86c4b03c62e7f72fd2678e9ca1"],"state_sha256":"4030ca74eedd390ca35147fe18b01e731043358c5565ae326f58f429ca44e0f0"}