{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2012:3FHXCUO6K3VE7CXH2EUZAWJ3MI","short_pith_number":"pith:3FHXCUO6","canonical_record":{"source":{"id":"1206.1317","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2012-06-06T19:51:48Z","cross_cats_sorted":["cs.FL"],"title_canon_sha256":"7d989d795f17c6daa6ef712b98a97b243484489d3d2c8fd6b128e66b997ed76a","abstract_canon_sha256":"ab6dcee4b973be18022fa286f873e075d3657dfccd91ede5540f9b68d1d242dc"},"schema_version":"1.0"},"canonical_sha256":"d94f7151de56ea4f8ae7d12990593b620db12dc9798b2376c5be740fcd35732a","source":{"kind":"arxiv","id":"1206.1317","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1206.1317","created_at":"2026-05-18T03:54:06Z"},{"alias_kind":"arxiv_version","alias_value":"1206.1317v1","created_at":"2026-05-18T03:54:06Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1206.1317","created_at":"2026-05-18T03:54:06Z"},{"alias_kind":"pith_short_12","alias_value":"3FHXCUO6K3VE","created_at":"2026-05-18T12:26:50Z"},{"alias_kind":"pith_short_16","alias_value":"3FHXCUO6K3VE7CXH","created_at":"2026-05-18T12:26:50Z"},{"alias_kind":"pith_short_8","alias_value":"3FHXCUO6","created_at":"2026-05-18T12:26:50Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2012:3FHXCUO6K3VE7CXH2EUZAWJ3MI","target":"record","payload":{"canonical_record":{"source":{"id":"1206.1317","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2012-06-06T19:51:48Z","cross_cats_sorted":["cs.FL"],"title_canon_sha256":"7d989d795f17c6daa6ef712b98a97b243484489d3d2c8fd6b128e66b997ed76a","abstract_canon_sha256":"ab6dcee4b973be18022fa286f873e075d3657dfccd91ede5540f9b68d1d242dc"},"schema_version":"1.0"},"canonical_sha256":"d94f7151de56ea4f8ae7d12990593b620db12dc9798b2376c5be740fcd35732a","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:54:06.438520Z","signature_b64":"HBnzkpmw0ebr+BGqSNB6+GmohlpiyNcVzCTlBqwkuLhiebIurjcWCt5DJlIRLITVdUm36SyrYM5W+OYYrM6PDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"d94f7151de56ea4f8ae7d12990593b620db12dc9798b2376c5be740fcd35732a","last_reissued_at":"2026-05-18T03:54:06.437808Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:54:06.437808Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1206.1317","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-18T03:54:06Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"FDfFasQbHilgLhG5+penB1uDGqmesRlsTA2Oqu+PSvi3IUwiYLbyAOHZug2KGOh+XWGWOHoT4Bum9vMsy35fDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-23T19:08:37.427102Z"},"content_sha256":"ad8c60c9f144ea70d712ab254d5a1fe23a4b4252087e8002e1f8c48c35ff2034","schema_version":"1.0","event_id":"sha256:ad8c60c9f144ea70d712ab254d5a1fe23a4b4252087e8002e1f8c48c35ff2034"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2012:3FHXCUO6K3VE7CXH2EUZAWJ3MI","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Model Checking Stochastic Branching Processes","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.FL"],"primary_cat":"cs.LO","authors_text":"Klaus Dr\\\"ager, Stefan Kiefer, Taolue Chen","submitted_at":"2012-06-06T19:51:48Z","abstract_excerpt":"Stochastic branching processes are a classical model for describing random trees, which have applications in numerous fields including biology, physics, and natural language processing. In particular, they have recently been proposed to describe parallel programs with stochastic process creation. In this paper, we consider the problem of model checking stochastic branching process. Given a branching process and a deterministic parity tree automaton, we are interested in computing the probability that the generated random tree is accepted by the automaton. We show that this probability can be c"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1206.1317","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-18T03:54:06Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"qM02zJcQIrM9u5PXVaw4SjWNxrHHkK5YdWsiYttJhvTr4FoEMNrIhpHiUvukSBygCve/bVMWVZBsnnRXg9MfCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-23T19:08:37.427785Z"},"content_sha256":"32c59dff16c0a243d640158a14fe9bf280b630e22cbcb77f720db7438715342a","schema_version":"1.0","event_id":"sha256:32c59dff16c0a243d640158a14fe9bf280b630e22cbcb77f720db7438715342a"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/3FHXCUO6K3VE7CXH2EUZAWJ3MI/bundle.json","state_url":"https://pith.science/pith/3FHXCUO6K3VE7CXH2EUZAWJ3MI/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/3FHXCUO6K3VE7CXH2EUZAWJ3MI/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-23T19:08:37Z","links":{"resolver":"https://pith.science/pith/3FHXCUO6K3VE7CXH2EUZAWJ3MI","bundle":"https://pith.science/pith/3FHXCUO6K3VE7CXH2EUZAWJ3MI/bundle.json","state":"https://pith.science/pith/3FHXCUO6K3VE7CXH2EUZAWJ3MI/state.json","well_known_bundle":"https://pith.science/.well-known/pith/3FHXCUO6K3VE7CXH2EUZAWJ3MI/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2012:3FHXCUO6K3VE7CXH2EUZAWJ3MI","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":"ab6dcee4b973be18022fa286f873e075d3657dfccd91ede5540f9b68d1d242dc","cross_cats_sorted":["cs.FL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2012-06-06T19:51:48Z","title_canon_sha256":"7d989d795f17c6daa6ef712b98a97b243484489d3d2c8fd6b128e66b997ed76a"},"schema_version":"1.0","source":{"id":"1206.1317","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1206.1317","created_at":"2026-05-18T03:54:06Z"},{"alias_kind":"arxiv_version","alias_value":"1206.1317v1","created_at":"2026-05-18T03:54:06Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1206.1317","created_at":"2026-05-18T03:54:06Z"},{"alias_kind":"pith_short_12","alias_value":"3FHXCUO6K3VE","created_at":"2026-05-18T12:26:50Z"},{"alias_kind":"pith_short_16","alias_value":"3FHXCUO6K3VE7CXH","created_at":"2026-05-18T12:26:50Z"},{"alias_kind":"pith_short_8","alias_value":"3FHXCUO6","created_at":"2026-05-18T12:26:50Z"}],"graph_snapshots":[{"event_id":"sha256:32c59dff16c0a243d640158a14fe9bf280b630e22cbcb77f720db7438715342a","target":"graph","created_at":"2026-05-18T03:54:06Z","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":"Stochastic branching processes are a classical model for describing random trees, which have applications in numerous fields including biology, physics, and natural language processing. In particular, they have recently been proposed to describe parallel programs with stochastic process creation. In this paper, we consider the problem of model checking stochastic branching process. Given a branching process and a deterministic parity tree automaton, we are interested in computing the probability that the generated random tree is accepted by the automaton. We show that this probability can be c","authors_text":"Klaus Dr\\\"ager, Stefan Kiefer, Taolue Chen","cross_cats":["cs.FL"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2012-06-06T19:51:48Z","title":"Model Checking Stochastic Branching Processes"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1206.1317","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:ad8c60c9f144ea70d712ab254d5a1fe23a4b4252087e8002e1f8c48c35ff2034","target":"record","created_at":"2026-05-18T03:54:06Z","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":"ab6dcee4b973be18022fa286f873e075d3657dfccd91ede5540f9b68d1d242dc","cross_cats_sorted":["cs.FL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2012-06-06T19:51:48Z","title_canon_sha256":"7d989d795f17c6daa6ef712b98a97b243484489d3d2c8fd6b128e66b997ed76a"},"schema_version":"1.0","source":{"id":"1206.1317","kind":"arxiv","version":1}},"canonical_sha256":"d94f7151de56ea4f8ae7d12990593b620db12dc9798b2376c5be740fcd35732a","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"d94f7151de56ea4f8ae7d12990593b620db12dc9798b2376c5be740fcd35732a","first_computed_at":"2026-05-18T03:54:06.437808Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:54:06.437808Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"HBnzkpmw0ebr+BGqSNB6+GmohlpiyNcVzCTlBqwkuLhiebIurjcWCt5DJlIRLITVdUm36SyrYM5W+OYYrM6PDw==","signature_status":"signed_v1","signed_at":"2026-05-18T03:54:06.438520Z","signed_message":"canonical_sha256_bytes"},"source_id":"1206.1317","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:ad8c60c9f144ea70d712ab254d5a1fe23a4b4252087e8002e1f8c48c35ff2034","sha256:32c59dff16c0a243d640158a14fe9bf280b630e22cbcb77f720db7438715342a"],"state_sha256":"251c37b32f39934e544264b1d0bd59f7cd7228287bf9a6388628f7f68210aeab"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"2euUL/Uzbs6tJN6wzuqPzP4qBUl1LQoEY0mt53dcr8vjdELfjFtCUjC+aawBZlIyRQQidNMUpd/iHH0Rhd7ICQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-23T19:08:37.432474Z","bundle_sha256":"277e41ab5e9622e6cc928f619bd13043d389f770ba43fb8eaed2fb003560f100"}}