{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:TJSILT6LRYQTUI5BPLKOTYPQ6C","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":"87f2ef4d9f3114af39e4c4b78c3bcc23b14de1d052f9ccbde29543027c4d3ca5","cross_cats_sorted":["cs.CL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2019-04-17T14:21:43Z","title_canon_sha256":"c8994a60f92abb8f2b360e476480e52d1dcad7282be46054cc5ed4f5fb909218"},"schema_version":"1.0","source":{"id":"1904.08850","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1904.08850","created_at":"2026-05-17T23:48:12Z"},{"alias_kind":"arxiv_version","alias_value":"1904.08850v1","created_at":"2026-05-17T23:48:12Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1904.08850","created_at":"2026-05-17T23:48:12Z"},{"alias_kind":"pith_short_12","alias_value":"TJSILT6LRYQT","created_at":"2026-05-18T12:33:27Z"},{"alias_kind":"pith_short_16","alias_value":"TJSILT6LRYQTUI5B","created_at":"2026-05-18T12:33:27Z"},{"alias_kind":"pith_short_8","alias_value":"TJSILT6L","created_at":"2026-05-18T12:33:27Z"}],"graph_snapshots":[{"event_id":"sha256:2866623f5397ac9b4fd4c88df388d57a4bb3cdb31b1a2dced06274bf5f1aee89","target":"graph","created_at":"2026-05-17T23:48:12Z","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 address the problem of defining graph transformations by the simultaneous application of direct transformations even when these cannot be applied independently of each other. An algebraic approach is adopted, with production rules of the form $L\\xleftarrow{l}K \\xleftarrow{i} I \\xrightarrow{r} R$, called weak spans. A parallel coherent transformation is introduced and shown to be a conservative extension of the interleaving semantics of parallel independent direct transformations. A categorical construction of finitely attributed structures is proposed, in which parallel coherent transformat","authors_text":"Rachid Echahed, Thierry Boy de la Tour","cross_cats":["cs.CL"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2019-04-17T14:21:43Z","title":"True Parallel Graph Transformations: an Algebraic Approach Based on Weak Spans"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1904.08850","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:d60aa958aa7d8402f55e9eeafd46c9d809d2fc6c910d318fadbb0627dceeb40a","target":"record","created_at":"2026-05-17T23:48:12Z","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":"87f2ef4d9f3114af39e4c4b78c3bcc23b14de1d052f9ccbde29543027c4d3ca5","cross_cats_sorted":["cs.CL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2019-04-17T14:21:43Z","title_canon_sha256":"c8994a60f92abb8f2b360e476480e52d1dcad7282be46054cc5ed4f5fb909218"},"schema_version":"1.0","source":{"id":"1904.08850","kind":"arxiv","version":1}},"canonical_sha256":"9a6485cfcb8e213a23a17ad4e9e1f0f09c13daafc8e8dcb27bbd2333de4e9196","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"9a6485cfcb8e213a23a17ad4e9e1f0f09c13daafc8e8dcb27bbd2333de4e9196","first_computed_at":"2026-05-17T23:48:12.762467Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:48:12.762467Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"al3DWZxyT7VX+DbdL2cFx9x7aZfeps6H+MEQdyfd9RoiF8glPoR7Y4DHYVIHPdTndlvmZxSRxg1lGYmAkm+IAw==","signature_status":"signed_v1","signed_at":"2026-05-17T23:48:12.762964Z","signed_message":"canonical_sha256_bytes"},"source_id":"1904.08850","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:d60aa958aa7d8402f55e9eeafd46c9d809d2fc6c910d318fadbb0627dceeb40a","sha256:2866623f5397ac9b4fd4c88df388d57a4bb3cdb31b1a2dced06274bf5f1aee89"],"state_sha256":"f84cf66affbb1b190d39b6134266e89cbd0528781bd70f33094c196e5a3c3acc"}