{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:2BXWYFKOCRINJP5T5J33ZYUR63","short_pith_number":"pith:2BXWYFKO","canonical_record":{"source":{"id":"1704.03098","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2017-04-11T00:44:07Z","cross_cats_sorted":[],"title_canon_sha256":"371153cc890422952165d9863ef25d7607079856c689c01c426cbd2fdc607ae0","abstract_canon_sha256":"e293a296e40f8955d5a567d6e1813b98d7086f6e00a66e186b221c88624aa8be"},"schema_version":"1.0"},"canonical_sha256":"d06f6c154e1450d4bfb3ea77bce291f6e112d62e8c8c9a0e28e9984d0023efbc","source":{"kind":"arxiv","id":"1704.03098","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1704.03098","created_at":"2026-05-18T00:46:33Z"},{"alias_kind":"arxiv_version","alias_value":"1704.03098v1","created_at":"2026-05-18T00:46:33Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1704.03098","created_at":"2026-05-18T00:46:33Z"},{"alias_kind":"pith_short_12","alias_value":"2BXWYFKOCRIN","created_at":"2026-05-18T12:30:55Z"},{"alias_kind":"pith_short_16","alias_value":"2BXWYFKOCRINJP5T","created_at":"2026-05-18T12:30:55Z"},{"alias_kind":"pith_short_8","alias_value":"2BXWYFKO","created_at":"2026-05-18T12:30:55Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:2BXWYFKOCRINJP5T5J33ZYUR63","target":"record","payload":{"canonical_record":{"source":{"id":"1704.03098","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2017-04-11T00:44:07Z","cross_cats_sorted":[],"title_canon_sha256":"371153cc890422952165d9863ef25d7607079856c689c01c426cbd2fdc607ae0","abstract_canon_sha256":"e293a296e40f8955d5a567d6e1813b98d7086f6e00a66e186b221c88624aa8be"},"schema_version":"1.0"},"canonical_sha256":"d06f6c154e1450d4bfb3ea77bce291f6e112d62e8c8c9a0e28e9984d0023efbc","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:46:33.582999Z","signature_b64":"n7Wey19ueonfLLFIehk8atYVQu9E45Hmh4n6UWBeOCL1Nkf31eEuKqacsr6r3Ie9/oB8gsHmV5hX9s2Nbe8TAg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"d06f6c154e1450d4bfb3ea77bce291f6e112d62e8c8c9a0e28e9984d0023efbc","last_reissued_at":"2026-05-18T00:46:33.582269Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:46:33.582269Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1704.03098","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-18T00:46:33Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"eA+ZOu+z+/dM9pvS/+ewaBxVH8MHMOT5cFrQ0hvwV5W6m+5DCyPw7hE5LKna/7AKyAepUhNI5XPA6zoWvL6cAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-22T18:20:23.379561Z"},"content_sha256":"c27fce632fea304e315f6f49d99e88afd37facac288659180bf84e3c1b88e042","schema_version":"1.0","event_id":"sha256:c27fce632fea304e315f6f49d99e88afd37facac288659180bf84e3c1b88e042"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:2BXWYFKOCRINJP5T5J33ZYUR63","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Generating Representative Executions [Extended Abstract]","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Hendrik Maarand, Tarmo Uustalu","submitted_at":"2017-04-11T00:44:07Z","abstract_excerpt":"Analyzing the behaviour of a concurrent program is made difficult by the number of possible executions. This problem can be alleviated by applying the theory of Mazurkiewicz traces to focus only on the canonical representatives of the equivalence classes of the possible executions of the program. This paper presents a generic framework that allows to specify the possible behaviours of the execution environment, and generate all Foata-normal executions of a program, for that environment, by discarding abnormal executions during the generation phase. The key ingredient of Mazurkiewicz trace theo"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1704.03098","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-18T00:46:33Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"NRsFPMdHc9MJExSNXxPG2xonfY5ffvjen8n+rjyc0f0OmK2tzhhinpOiNkrkgHXTRnW6ecpyNLWdRNzB/7RPAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-22T18:20:23.379905Z"},"content_sha256":"c3d96caf08f95fa8965a01a59d1a193325181415bf5d47f9a298cd22bfbb1da6","schema_version":"1.0","event_id":"sha256:c3d96caf08f95fa8965a01a59d1a193325181415bf5d47f9a298cd22bfbb1da6"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/2BXWYFKOCRINJP5T5J33ZYUR63/bundle.json","state_url":"https://pith.science/pith/2BXWYFKOCRINJP5T5J33ZYUR63/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/2BXWYFKOCRINJP5T5J33ZYUR63/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-06-22T18:20:23Z","links":{"resolver":"https://pith.science/pith/2BXWYFKOCRINJP5T5J33ZYUR63","bundle":"https://pith.science/pith/2BXWYFKOCRINJP5T5J33ZYUR63/bundle.json","state":"https://pith.science/pith/2BXWYFKOCRINJP5T5J33ZYUR63/state.json","well_known_bundle":"https://pith.science/.well-known/pith/2BXWYFKOCRINJP5T5J33ZYUR63/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:2BXWYFKOCRINJP5T5J33ZYUR63","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":"e293a296e40f8955d5a567d6e1813b98d7086f6e00a66e186b221c88624aa8be","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2017-04-11T00:44:07Z","title_canon_sha256":"371153cc890422952165d9863ef25d7607079856c689c01c426cbd2fdc607ae0"},"schema_version":"1.0","source":{"id":"1704.03098","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1704.03098","created_at":"2026-05-18T00:46:33Z"},{"alias_kind":"arxiv_version","alias_value":"1704.03098v1","created_at":"2026-05-18T00:46:33Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1704.03098","created_at":"2026-05-18T00:46:33Z"},{"alias_kind":"pith_short_12","alias_value":"2BXWYFKOCRIN","created_at":"2026-05-18T12:30:55Z"},{"alias_kind":"pith_short_16","alias_value":"2BXWYFKOCRINJP5T","created_at":"2026-05-18T12:30:55Z"},{"alias_kind":"pith_short_8","alias_value":"2BXWYFKO","created_at":"2026-05-18T12:30:55Z"}],"graph_snapshots":[{"event_id":"sha256:c3d96caf08f95fa8965a01a59d1a193325181415bf5d47f9a298cd22bfbb1da6","target":"graph","created_at":"2026-05-18T00:46:33Z","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":"Analyzing the behaviour of a concurrent program is made difficult by the number of possible executions. This problem can be alleviated by applying the theory of Mazurkiewicz traces to focus only on the canonical representatives of the equivalence classes of the possible executions of the program. This paper presents a generic framework that allows to specify the possible behaviours of the execution environment, and generate all Foata-normal executions of a program, for that environment, by discarding abnormal executions during the generation phase. The key ingredient of Mazurkiewicz trace theo","authors_text":"Hendrik Maarand, Tarmo Uustalu","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2017-04-11T00:44:07Z","title":"Generating Representative Executions [Extended Abstract]"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1704.03098","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:c27fce632fea304e315f6f49d99e88afd37facac288659180bf84e3c1b88e042","target":"record","created_at":"2026-05-18T00:46:33Z","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":"e293a296e40f8955d5a567d6e1813b98d7086f6e00a66e186b221c88624aa8be","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2017-04-11T00:44:07Z","title_canon_sha256":"371153cc890422952165d9863ef25d7607079856c689c01c426cbd2fdc607ae0"},"schema_version":"1.0","source":{"id":"1704.03098","kind":"arxiv","version":1}},"canonical_sha256":"d06f6c154e1450d4bfb3ea77bce291f6e112d62e8c8c9a0e28e9984d0023efbc","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"d06f6c154e1450d4bfb3ea77bce291f6e112d62e8c8c9a0e28e9984d0023efbc","first_computed_at":"2026-05-18T00:46:33.582269Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:46:33.582269Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"n7Wey19ueonfLLFIehk8atYVQu9E45Hmh4n6UWBeOCL1Nkf31eEuKqacsr6r3Ie9/oB8gsHmV5hX9s2Nbe8TAg==","signature_status":"signed_v1","signed_at":"2026-05-18T00:46:33.582999Z","signed_message":"canonical_sha256_bytes"},"source_id":"1704.03098","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:c27fce632fea304e315f6f49d99e88afd37facac288659180bf84e3c1b88e042","sha256:c3d96caf08f95fa8965a01a59d1a193325181415bf5d47f9a298cd22bfbb1da6"],"state_sha256":"689e377ff9f67bd45a15fc7880d0c5813d123fd29197e795acf56c4a2f9320df"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"mCeVXSRfdlMoYLbvJiM6dD6SWBlZOs+u9nOxmk8rpeq0+LCH49BfFhi8rrPfpJvNduHKbzDR/6sSpQRdVCCPBg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-22T18:20:23.382137Z","bundle_sha256":"78b7f1518f061640150eb5ab6608c487ae40384f6d53bd2f4affd51967696bcd"}}