{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2015:FXHUQN42666EEDMWC3ERZ54NH3","short_pith_number":"pith:FXHUQN42","canonical_record":{"source":{"id":"1504.06203","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2015-04-23T14:36:00Z","cross_cats_sorted":[],"title_canon_sha256":"ffac4b863403a591355b837f4cd68afd03e74a3552526343ee24e91d9b2216bc","abstract_canon_sha256":"dfa89d02d22d94669d6891fb1a6522da7f0a820d8b2e02c0278731c17bad922d"},"schema_version":"1.0"},"canonical_sha256":"2dcf48379af7bc420d9616c91cf78d3ef3c72aba3c3c753bb4a0b3b208d9c989","source":{"kind":"arxiv","id":"1504.06203","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1504.06203","created_at":"2026-05-18T00:43:36Z"},{"alias_kind":"arxiv_version","alias_value":"1504.06203v1","created_at":"2026-05-18T00:43:36Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1504.06203","created_at":"2026-05-18T00:43:36Z"},{"alias_kind":"pith_short_12","alias_value":"FXHUQN42666E","created_at":"2026-05-18T12:29:22Z"},{"alias_kind":"pith_short_16","alias_value":"FXHUQN42666EEDMW","created_at":"2026-05-18T12:29:22Z"},{"alias_kind":"pith_short_8","alias_value":"FXHUQN42","created_at":"2026-05-18T12:29:22Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2015:FXHUQN42666EEDMWC3ERZ54NH3","target":"record","payload":{"canonical_record":{"source":{"id":"1504.06203","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2015-04-23T14:36:00Z","cross_cats_sorted":[],"title_canon_sha256":"ffac4b863403a591355b837f4cd68afd03e74a3552526343ee24e91d9b2216bc","abstract_canon_sha256":"dfa89d02d22d94669d6891fb1a6522da7f0a820d8b2e02c0278731c17bad922d"},"schema_version":"1.0"},"canonical_sha256":"2dcf48379af7bc420d9616c91cf78d3ef3c72aba3c3c753bb4a0b3b208d9c989","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:43:36.129620Z","signature_b64":"s+BWr7ypt2AfcuH+9desWez3HEHZh70NKUPoHk+bqFZrWlNy9OirqqcUpZUISPKAXvKYHW1Vs8TqhTuZZlbtAQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"2dcf48379af7bc420d9616c91cf78d3ef3c72aba3c3c753bb4a0b3b208d9c989","last_reissued_at":"2026-05-18T00:43:36.129206Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:43:36.129206Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1504.06203","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:43:36Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"RA16ZSBsqBxo7fMll8+N+zWxkSDGu0vHQAGEFA7EzsQ2W4uPZ57ypAxGMjvtb/dL/kBKoN757Oq5Q2PFQCA8Cw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T23:50:00.117549Z"},"content_sha256":"67a2d30c9072f3b1184ec7a93ca59c02479186bac759785d96668cd482ea9280","schema_version":"1.0","event_id":"sha256:67a2d30c9072f3b1184ec7a93ca59c02479186bac759785d96668cd482ea9280"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2015:FXHUQN42666EEDMWC3ERZ54NH3","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"A New Thesis concerning Synchronised Parallel Computing - Simplified Parallel ASM Thesis","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Flavio Ferrarotti, Klaus-Dieter Schewe, Loredana Tec, Qing Wang","submitted_at":"2015-04-23T14:36:00Z","abstract_excerpt":"A behavioural theory consists of machine-independent postulates characterizing a particular class of algorithms or systems, an abstract machine model that provably satisfies these postulates, and a rigorous proof that any algorithm or system stipulated by the postulates is captured by the abstract machine model. The class of interest in this article is that of synchronous parallel algorithms. For this class a behavioural theory has already been developed by Blass and Gurevich, which unfortunately, though mathematically correct, fails to be convincing, as it is not intuitively clear that the po"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1504.06203","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:43:36Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"OjVfwL00DzESKJc2eyjbnAlpBK4GWk7y+wQhLleed9hONCOKEUXQzt0Mgsw2dYpiRGf2GiPj5umRkev1JQZHAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T23:50:00.117890Z"},"content_sha256":"3a83edd21019b49e79a340e03f5ef0965b6b4ed0c94e6abc9dee9d2720dbb917","schema_version":"1.0","event_id":"sha256:3a83edd21019b49e79a340e03f5ef0965b6b4ed0c94e6abc9dee9d2720dbb917"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/FXHUQN42666EEDMWC3ERZ54NH3/bundle.json","state_url":"https://pith.science/pith/FXHUQN42666EEDMWC3ERZ54NH3/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/FXHUQN42666EEDMWC3ERZ54NH3/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-01T23:50:00Z","links":{"resolver":"https://pith.science/pith/FXHUQN42666EEDMWC3ERZ54NH3","bundle":"https://pith.science/pith/FXHUQN42666EEDMWC3ERZ54NH3/bundle.json","state":"https://pith.science/pith/FXHUQN42666EEDMWC3ERZ54NH3/state.json","well_known_bundle":"https://pith.science/.well-known/pith/FXHUQN42666EEDMWC3ERZ54NH3/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:FXHUQN42666EEDMWC3ERZ54NH3","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":"dfa89d02d22d94669d6891fb1a6522da7f0a820d8b2e02c0278731c17bad922d","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2015-04-23T14:36:00Z","title_canon_sha256":"ffac4b863403a591355b837f4cd68afd03e74a3552526343ee24e91d9b2216bc"},"schema_version":"1.0","source":{"id":"1504.06203","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1504.06203","created_at":"2026-05-18T00:43:36Z"},{"alias_kind":"arxiv_version","alias_value":"1504.06203v1","created_at":"2026-05-18T00:43:36Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1504.06203","created_at":"2026-05-18T00:43:36Z"},{"alias_kind":"pith_short_12","alias_value":"FXHUQN42666E","created_at":"2026-05-18T12:29:22Z"},{"alias_kind":"pith_short_16","alias_value":"FXHUQN42666EEDMW","created_at":"2026-05-18T12:29:22Z"},{"alias_kind":"pith_short_8","alias_value":"FXHUQN42","created_at":"2026-05-18T12:29:22Z"}],"graph_snapshots":[{"event_id":"sha256:3a83edd21019b49e79a340e03f5ef0965b6b4ed0c94e6abc9dee9d2720dbb917","target":"graph","created_at":"2026-05-18T00:43:36Z","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":"A behavioural theory consists of machine-independent postulates characterizing a particular class of algorithms or systems, an abstract machine model that provably satisfies these postulates, and a rigorous proof that any algorithm or system stipulated by the postulates is captured by the abstract machine model. The class of interest in this article is that of synchronous parallel algorithms. For this class a behavioural theory has already been developed by Blass and Gurevich, which unfortunately, though mathematically correct, fails to be convincing, as it is not intuitively clear that the po","authors_text":"Flavio Ferrarotti, Klaus-Dieter Schewe, Loredana Tec, Qing Wang","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2015-04-23T14:36:00Z","title":"A New Thesis concerning Synchronised Parallel Computing - Simplified Parallel ASM Thesis"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1504.06203","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:67a2d30c9072f3b1184ec7a93ca59c02479186bac759785d96668cd482ea9280","target":"record","created_at":"2026-05-18T00:43:36Z","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":"dfa89d02d22d94669d6891fb1a6522da7f0a820d8b2e02c0278731c17bad922d","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2015-04-23T14:36:00Z","title_canon_sha256":"ffac4b863403a591355b837f4cd68afd03e74a3552526343ee24e91d9b2216bc"},"schema_version":"1.0","source":{"id":"1504.06203","kind":"arxiv","version":1}},"canonical_sha256":"2dcf48379af7bc420d9616c91cf78d3ef3c72aba3c3c753bb4a0b3b208d9c989","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"2dcf48379af7bc420d9616c91cf78d3ef3c72aba3c3c753bb4a0b3b208d9c989","first_computed_at":"2026-05-18T00:43:36.129206Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:43:36.129206Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"s+BWr7ypt2AfcuH+9desWez3HEHZh70NKUPoHk+bqFZrWlNy9OirqqcUpZUISPKAXvKYHW1Vs8TqhTuZZlbtAQ==","signature_status":"signed_v1","signed_at":"2026-05-18T00:43:36.129620Z","signed_message":"canonical_sha256_bytes"},"source_id":"1504.06203","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:67a2d30c9072f3b1184ec7a93ca59c02479186bac759785d96668cd482ea9280","sha256:3a83edd21019b49e79a340e03f5ef0965b6b4ed0c94e6abc9dee9d2720dbb917"],"state_sha256":"3ce64488ddc76603088c5285ffa63a427830269800de3b10fb9013ef4ad4addf"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"4ye6OZLs9NRuJHw4nrGzRvUR6UJhryBRirNWDsqlspo29W5Vdf1SW7QlDDy0CdVmSEe1ANbH+d/gYGu70JOjDg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-01T23:50:00.119738Z","bundle_sha256":"20538c093e52a7506ca52346a120bcd2d30fca743becddf74249010cb0459991"}}