{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:XZ35MAKWDQO74HYIYHS2ASPOVK","short_pith_number":"pith:XZ35MAKW","canonical_record":{"source":{"id":"1609.05385","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-09-17T20:11:09Z","cross_cats_sorted":[],"title_canon_sha256":"6c9352e6dca725c716d0dd4b128848ff0c859128b3900a209b7f72bd2ad3449a","abstract_canon_sha256":"a1e41bdb3765e91c2893b15dba880b11054600995b4b9a7b06553bc9adb2ca6f"},"schema_version":"1.0"},"canonical_sha256":"be77d601561c1dfe1f08c1e5a049eeaa87d1d3de5204c03c0864959b2f35848f","source":{"kind":"arxiv","id":"1609.05385","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1609.05385","created_at":"2026-05-18T01:04:26Z"},{"alias_kind":"arxiv_version","alias_value":"1609.05385v1","created_at":"2026-05-18T01:04:26Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1609.05385","created_at":"2026-05-18T01:04:26Z"},{"alias_kind":"pith_short_12","alias_value":"XZ35MAKWDQO7","created_at":"2026-05-18T12:30:51Z"},{"alias_kind":"pith_short_16","alias_value":"XZ35MAKWDQO74HYI","created_at":"2026-05-18T12:30:51Z"},{"alias_kind":"pith_short_8","alias_value":"XZ35MAKW","created_at":"2026-05-18T12:30:51Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:XZ35MAKWDQO74HYIYHS2ASPOVK","target":"record","payload":{"canonical_record":{"source":{"id":"1609.05385","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-09-17T20:11:09Z","cross_cats_sorted":[],"title_canon_sha256":"6c9352e6dca725c716d0dd4b128848ff0c859128b3900a209b7f72bd2ad3449a","abstract_canon_sha256":"a1e41bdb3765e91c2893b15dba880b11054600995b4b9a7b06553bc9adb2ca6f"},"schema_version":"1.0"},"canonical_sha256":"be77d601561c1dfe1f08c1e5a049eeaa87d1d3de5204c03c0864959b2f35848f","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:04:26.558373Z","signature_b64":"NYejNvKoCVBCR9vHHwrLAeKxxIE27euh79/oK1omnZ9ZOs42t54SOwWuHrwtZaf3UJW9CTYfbiqv7ettxLJCAw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"be77d601561c1dfe1f08c1e5a049eeaa87d1d3de5204c03c0864959b2f35848f","last_reissued_at":"2026-05-18T01:04:26.557677Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:04:26.557677Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1609.05385","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-18T01:04:26Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"wCMiOhkRjfPQ3Asu2Km4T/fMnXa+VkfS6UQCDks6H5xplHWwNvPx1RczmSzGqotpah7/PoDLMDYZG5QWnpJaCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-31T15:26:01.589959Z"},"content_sha256":"f66b5873bbca56d63919fd0bbb9892d3d5c5e50dc8fff9a4cd87c78da5469808","schema_version":"1.0","event_id":"sha256:f66b5873bbca56d63919fd0bbb9892d3d5c5e50dc8fff9a4cd87c78da5469808"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:XZ35MAKWDQO74HYIYHS2ASPOVK","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Reachability for dynamic parametric processes","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Anca Muscholl, Helmut Seidl, Igor Walukiewicz","submitted_at":"2016-09-17T20:11:09Z","abstract_excerpt":"In a dynamic parametric process every subprocess may spawn arbitrarily many, identical child processes, that may communicate either over global variables, or over local variables that are shared with their parent.\n  We show that reachability for dynamic parametric processes is decidable under mild assumptions. These assumptions are e.g. met if individual processes are realized by pushdown systems, or even higher-order pushdown systems. We also provide algorithms for subclasses of pushdown dynamic parametric processes, with complexity ranging between NP and DEXPTIME."},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1609.05385","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-18T01:04:26Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"sovyXzkVtuL4IW1OSm2ZbzunRXkiaO+QlOraC4GANAjEKCzLQIUc1N/EncP5qCTtOdtefmcyU+I1PkbFO0YEDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-31T15:26:01.590580Z"},"content_sha256":"d6c8daa83e4f749cbb7a1214897af72d0e7515e3914f26bd5682928433cec0b6","schema_version":"1.0","event_id":"sha256:d6c8daa83e4f749cbb7a1214897af72d0e7515e3914f26bd5682928433cec0b6"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/XZ35MAKWDQO74HYIYHS2ASPOVK/bundle.json","state_url":"https://pith.science/pith/XZ35MAKWDQO74HYIYHS2ASPOVK/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/XZ35MAKWDQO74HYIYHS2ASPOVK/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-05-31T15:26:01Z","links":{"resolver":"https://pith.science/pith/XZ35MAKWDQO74HYIYHS2ASPOVK","bundle":"https://pith.science/pith/XZ35MAKWDQO74HYIYHS2ASPOVK/bundle.json","state":"https://pith.science/pith/XZ35MAKWDQO74HYIYHS2ASPOVK/state.json","well_known_bundle":"https://pith.science/.well-known/pith/XZ35MAKWDQO74HYIYHS2ASPOVK/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:XZ35MAKWDQO74HYIYHS2ASPOVK","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":"a1e41bdb3765e91c2893b15dba880b11054600995b4b9a7b06553bc9adb2ca6f","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-09-17T20:11:09Z","title_canon_sha256":"6c9352e6dca725c716d0dd4b128848ff0c859128b3900a209b7f72bd2ad3449a"},"schema_version":"1.0","source":{"id":"1609.05385","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1609.05385","created_at":"2026-05-18T01:04:26Z"},{"alias_kind":"arxiv_version","alias_value":"1609.05385v1","created_at":"2026-05-18T01:04:26Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1609.05385","created_at":"2026-05-18T01:04:26Z"},{"alias_kind":"pith_short_12","alias_value":"XZ35MAKWDQO7","created_at":"2026-05-18T12:30:51Z"},{"alias_kind":"pith_short_16","alias_value":"XZ35MAKWDQO74HYI","created_at":"2026-05-18T12:30:51Z"},{"alias_kind":"pith_short_8","alias_value":"XZ35MAKW","created_at":"2026-05-18T12:30:51Z"}],"graph_snapshots":[{"event_id":"sha256:d6c8daa83e4f749cbb7a1214897af72d0e7515e3914f26bd5682928433cec0b6","target":"graph","created_at":"2026-05-18T01:04:26Z","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":"In a dynamic parametric process every subprocess may spawn arbitrarily many, identical child processes, that may communicate either over global variables, or over local variables that are shared with their parent.\n  We show that reachability for dynamic parametric processes is decidable under mild assumptions. These assumptions are e.g. met if individual processes are realized by pushdown systems, or even higher-order pushdown systems. We also provide algorithms for subclasses of pushdown dynamic parametric processes, with complexity ranging between NP and DEXPTIME.","authors_text":"Anca Muscholl, Helmut Seidl, Igor Walukiewicz","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-09-17T20:11:09Z","title":"Reachability for dynamic parametric processes"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1609.05385","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:f66b5873bbca56d63919fd0bbb9892d3d5c5e50dc8fff9a4cd87c78da5469808","target":"record","created_at":"2026-05-18T01:04:26Z","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":"a1e41bdb3765e91c2893b15dba880b11054600995b4b9a7b06553bc9adb2ca6f","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-09-17T20:11:09Z","title_canon_sha256":"6c9352e6dca725c716d0dd4b128848ff0c859128b3900a209b7f72bd2ad3449a"},"schema_version":"1.0","source":{"id":"1609.05385","kind":"arxiv","version":1}},"canonical_sha256":"be77d601561c1dfe1f08c1e5a049eeaa87d1d3de5204c03c0864959b2f35848f","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"be77d601561c1dfe1f08c1e5a049eeaa87d1d3de5204c03c0864959b2f35848f","first_computed_at":"2026-05-18T01:04:26.557677Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:04:26.557677Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"NYejNvKoCVBCR9vHHwrLAeKxxIE27euh79/oK1omnZ9ZOs42t54SOwWuHrwtZaf3UJW9CTYfbiqv7ettxLJCAw==","signature_status":"signed_v1","signed_at":"2026-05-18T01:04:26.558373Z","signed_message":"canonical_sha256_bytes"},"source_id":"1609.05385","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:f66b5873bbca56d63919fd0bbb9892d3d5c5e50dc8fff9a4cd87c78da5469808","sha256:d6c8daa83e4f749cbb7a1214897af72d0e7515e3914f26bd5682928433cec0b6"],"state_sha256":"c6b66e18c27ab9e875500d7e73094e8d46a5668cc534836a16598829e5338b84"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"bZxDsWn494Q2CGBCn1ht+Z+UcAKjZtknxXfCxqgHtKYuC+EOjbnlkt20NFJlldRpy+cs6e4D7lf3ypDSBH8bDQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-31T15:26:01.597601Z","bundle_sha256":"60167cf7a3c03b3d959e6bab3b15d454155a28048a358672a52b467ccdcf0d27"}}