{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:DPQBRLP4UZIIDUU7PP7R27GQRY","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":"6b77ea87a3e6d3fdd07cd9c350160e821f7336b8263f25adcfcf5f2946f67863","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-08-09T13:49:33Z","title_canon_sha256":"be7938b1e96c4046e9adf4f820cf074f9c84aa97333b3b742bbfd7cac38e5245"},"schema_version":"1.0","source":{"id":"1808.03161","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1808.03161","created_at":"2026-05-18T00:08:30Z"},{"alias_kind":"arxiv_version","alias_value":"1808.03161v1","created_at":"2026-05-18T00:08:30Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1808.03161","created_at":"2026-05-18T00:08:30Z"},{"alias_kind":"pith_short_12","alias_value":"DPQBRLP4UZII","created_at":"2026-05-18T12:32:19Z"},{"alias_kind":"pith_short_16","alias_value":"DPQBRLP4UZIIDUU7","created_at":"2026-05-18T12:32:19Z"},{"alias_kind":"pith_short_8","alias_value":"DPQBRLP4","created_at":"2026-05-18T12:32:19Z"}],"graph_snapshots":[{"event_id":"sha256:02296e883fc6cc5e090a9c3a66f416de185308c8e0f7c3d3dc7420109ce4fc51","target":"graph","created_at":"2026-05-18T00:08:30Z","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":"We tackle the problem of attributed graph transformations and propose a new algorithmic approach for defining parallel graph transformations allowing overlaps. We start by introducing some abstract operations over graph structures. Then, we define the notion of rewrite rules as three inclusions of the form $L \\supseteq K \\supseteq M \\subseteq R$. We provide six conditions that parallel graph rewrite relations should ideally satisfy, which lead us to define two distinct full parallel graph rewrite relations. A central notion of regularity of matchings is proved to be equivalent to these six con","authors_text":"Rachid Echahed, Thierry Boy de la Tour","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-08-09T13:49:33Z","title":"A Set-Theoretic Framework for Parallel Graph Rewriting"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1808.03161","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:a8bc71546948fcaeb2671361edd2b739d2b8fec11da26dd509330cd564417d90","target":"record","created_at":"2026-05-18T00:08:30Z","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":"6b77ea87a3e6d3fdd07cd9c350160e821f7336b8263f25adcfcf5f2946f67863","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-08-09T13:49:33Z","title_canon_sha256":"be7938b1e96c4046e9adf4f820cf074f9c84aa97333b3b742bbfd7cac38e5245"},"schema_version":"1.0","source":{"id":"1808.03161","kind":"arxiv","version":1}},"canonical_sha256":"1be018adfca65081d29f7bff1d7cd08e1b05f14572217f68d8d6d259ea3c4fea","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"1be018adfca65081d29f7bff1d7cd08e1b05f14572217f68d8d6d259ea3c4fea","first_computed_at":"2026-05-18T00:08:30.037732Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:08:30.037732Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"x3w4l6WQBXy9PCmMBabX9iS3kaIYIaLqtJ8TwjTvwyHSCoqFAKeLnuNzlgsf+/WXeEtU3tRWHDU9zI1l1z/ECA==","signature_status":"signed_v1","signed_at":"2026-05-18T00:08:30.038366Z","signed_message":"canonical_sha256_bytes"},"source_id":"1808.03161","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:a8bc71546948fcaeb2671361edd2b739d2b8fec11da26dd509330cd564417d90","sha256:02296e883fc6cc5e090a9c3a66f416de185308c8e0f7c3d3dc7420109ce4fc51"],"state_sha256":"4faa87b668f2a381a3704fb8685174944441dc9b2e05cfa8a646d9e22c8b639d"}