{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2010:FYA7TQTMJLUXQZU76EU2LY3PZK","short_pith_number":"pith:FYA7TQTM","canonical_record":{"source":{"id":"1012.2998","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2010-12-14T11:24:07Z","cross_cats_sorted":["cs.FL"],"title_canon_sha256":"fefeea2ece269463473d02962583356c4ba07e789759afe205814e2ce3696506","abstract_canon_sha256":"a23c943b5f4284cf38e04368f7ab024afd52f7a9185943915b8673dad009a622"},"schema_version":"1.0"},"canonical_sha256":"2e01f9c26c4ae978669ff129a5e36fca9b59e54a28f41ed882c58cebca2de6a6","source":{"kind":"arxiv","id":"1012.2998","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1012.2998","created_at":"2026-05-18T04:32:55Z"},{"alias_kind":"arxiv_version","alias_value":"1012.2998v1","created_at":"2026-05-18T04:32:55Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1012.2998","created_at":"2026-05-18T04:32:55Z"},{"alias_kind":"pith_short_12","alias_value":"FYA7TQTMJLUX","created_at":"2026-05-18T12:26:07Z"},{"alias_kind":"pith_short_16","alias_value":"FYA7TQTMJLUXQZU7","created_at":"2026-05-18T12:26:07Z"},{"alias_kind":"pith_short_8","alias_value":"FYA7TQTM","created_at":"2026-05-18T12:26:07Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2010:FYA7TQTMJLUXQZU76EU2LY3PZK","target":"record","payload":{"canonical_record":{"source":{"id":"1012.2998","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2010-12-14T11:24:07Z","cross_cats_sorted":["cs.FL"],"title_canon_sha256":"fefeea2ece269463473d02962583356c4ba07e789759afe205814e2ce3696506","abstract_canon_sha256":"a23c943b5f4284cf38e04368f7ab024afd52f7a9185943915b8673dad009a622"},"schema_version":"1.0"},"canonical_sha256":"2e01f9c26c4ae978669ff129a5e36fca9b59e54a28f41ed882c58cebca2de6a6","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T04:32:55.520250Z","signature_b64":"bBI9SvL8Mu7cMgLWcXt2gnuaIRrekeO2xNWpoHI2HTctlJ+zGpsBD2260EeEG3lBwSIJoCqM8CG7vkedfQYmCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"2e01f9c26c4ae978669ff129a5e36fca9b59e54a28f41ed882c58cebca2de6a6","last_reissued_at":"2026-05-18T04:32:55.519643Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T04:32:55.519643Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1012.2998","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-18T04:32:55Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"8oivDmu2y9V7mmpXJAyrLodgsukwA5pIk2VieUVoqJxZfznmPN2O/2eqNXtxaq0f4dS5UoFbiTR8QgYkJfiQBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T03:18:42.917124Z"},"content_sha256":"56ee23461c639820f12d932410d3525104339c83bcf3eb61fba257cd2c1c82e9","schema_version":"1.0","event_id":"sha256:56ee23461c639820f12d932410d3525104339c83bcf3eb61fba257cd2c1c82e9"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2010:FYA7TQTMJLUXQZU76EU2LY3PZK","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"On Probabilistic Parallel Programs with Process Creation and Synchronisation","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.FL"],"primary_cat":"cs.LO","authors_text":"Dominik Wojtczak, Stefan Kiefer","submitted_at":"2010-12-14T11:24:07Z","abstract_excerpt":"We initiate the study of probabilistic parallel programs with dynamic process creation and synchronisation. To this end, we introduce probabilistic split-join systems (pSJSs), a model for parallel programs, generalising both probabilistic pushdown systems (a model for sequential probabilistic procedural programs which is equivalent to recursive Markov chains) and stochastic branching processes (a classical mathematical model with applications in various areas such as biology, physics, and language processing). Our pSJS model allows for a possibly recursive spawning of parallel processes; the s"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1012.2998","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-18T04:32:55Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"3sTppPNtoIWvEQIMu76xHXiUyQabUuyE5TluNv9Uefg8J7jo8uLO7NDusmkdW0ERQj25SBebhlZN/0HxQuqWDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T03:18:42.917522Z"},"content_sha256":"12169c8fb741df1e4f69542f05a2c2630869f73495633411955cda1b9376ed3d","schema_version":"1.0","event_id":"sha256:12169c8fb741df1e4f69542f05a2c2630869f73495633411955cda1b9376ed3d"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/FYA7TQTMJLUXQZU76EU2LY3PZK/bundle.json","state_url":"https://pith.science/pith/FYA7TQTMJLUXQZU76EU2LY3PZK/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/FYA7TQTMJLUXQZU76EU2LY3PZK/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-26T03:18:42Z","links":{"resolver":"https://pith.science/pith/FYA7TQTMJLUXQZU76EU2LY3PZK","bundle":"https://pith.science/pith/FYA7TQTMJLUXQZU76EU2LY3PZK/bundle.json","state":"https://pith.science/pith/FYA7TQTMJLUXQZU76EU2LY3PZK/state.json","well_known_bundle":"https://pith.science/.well-known/pith/FYA7TQTMJLUXQZU76EU2LY3PZK/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2010:FYA7TQTMJLUXQZU76EU2LY3PZK","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":"a23c943b5f4284cf38e04368f7ab024afd52f7a9185943915b8673dad009a622","cross_cats_sorted":["cs.FL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2010-12-14T11:24:07Z","title_canon_sha256":"fefeea2ece269463473d02962583356c4ba07e789759afe205814e2ce3696506"},"schema_version":"1.0","source":{"id":"1012.2998","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1012.2998","created_at":"2026-05-18T04:32:55Z"},{"alias_kind":"arxiv_version","alias_value":"1012.2998v1","created_at":"2026-05-18T04:32:55Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1012.2998","created_at":"2026-05-18T04:32:55Z"},{"alias_kind":"pith_short_12","alias_value":"FYA7TQTMJLUX","created_at":"2026-05-18T12:26:07Z"},{"alias_kind":"pith_short_16","alias_value":"FYA7TQTMJLUXQZU7","created_at":"2026-05-18T12:26:07Z"},{"alias_kind":"pith_short_8","alias_value":"FYA7TQTM","created_at":"2026-05-18T12:26:07Z"}],"graph_snapshots":[{"event_id":"sha256:12169c8fb741df1e4f69542f05a2c2630869f73495633411955cda1b9376ed3d","target":"graph","created_at":"2026-05-18T04:32:55Z","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 initiate the study of probabilistic parallel programs with dynamic process creation and synchronisation. To this end, we introduce probabilistic split-join systems (pSJSs), a model for parallel programs, generalising both probabilistic pushdown systems (a model for sequential probabilistic procedural programs which is equivalent to recursive Markov chains) and stochastic branching processes (a classical mathematical model with applications in various areas such as biology, physics, and language processing). Our pSJS model allows for a possibly recursive spawning of parallel processes; the s","authors_text":"Dominik Wojtczak, Stefan Kiefer","cross_cats":["cs.FL"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2010-12-14T11:24:07Z","title":"On Probabilistic Parallel Programs with Process Creation and Synchronisation"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1012.2998","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:56ee23461c639820f12d932410d3525104339c83bcf3eb61fba257cd2c1c82e9","target":"record","created_at":"2026-05-18T04:32:55Z","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":"a23c943b5f4284cf38e04368f7ab024afd52f7a9185943915b8673dad009a622","cross_cats_sorted":["cs.FL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2010-12-14T11:24:07Z","title_canon_sha256":"fefeea2ece269463473d02962583356c4ba07e789759afe205814e2ce3696506"},"schema_version":"1.0","source":{"id":"1012.2998","kind":"arxiv","version":1}},"canonical_sha256":"2e01f9c26c4ae978669ff129a5e36fca9b59e54a28f41ed882c58cebca2de6a6","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"2e01f9c26c4ae978669ff129a5e36fca9b59e54a28f41ed882c58cebca2de6a6","first_computed_at":"2026-05-18T04:32:55.519643Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T04:32:55.519643Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"bBI9SvL8Mu7cMgLWcXt2gnuaIRrekeO2xNWpoHI2HTctlJ+zGpsBD2260EeEG3lBwSIJoCqM8CG7vkedfQYmCg==","signature_status":"signed_v1","signed_at":"2026-05-18T04:32:55.520250Z","signed_message":"canonical_sha256_bytes"},"source_id":"1012.2998","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:56ee23461c639820f12d932410d3525104339c83bcf3eb61fba257cd2c1c82e9","sha256:12169c8fb741df1e4f69542f05a2c2630869f73495633411955cda1b9376ed3d"],"state_sha256":"347f975ed95a9e14153372a84f5223ad0ae791ffc7d8c9d11a2e5a4301f75110"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"2y0mtbMpwvfIyQwEQITtyjEYi1VeDv+AkGXveN5n5AquIA773fK92MKCXKVoecNN8ckWpUGa4mxa62lxNxUgBg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-26T03:18:42.919992Z","bundle_sha256":"b32e17c5b3a43819e0abd4249c15cf910a1718e33b3228bca793ea719b418beb"}}