{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2014:4FKSUQU5XSH5MIACMYNIQAYKTD","short_pith_number":"pith:4FKSUQU5","canonical_record":{"source":{"id":"1408.0979","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2014-08-05T14:13:31Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"ea0950a116d353e415424aadea8050608e3537b5be228191bdc6ef505d1bc6c0","abstract_canon_sha256":"9a84d1b2c5a349260d3cd75bc9799d937e9bcc8bd5277a6f76c27d0d334c7667"},"schema_version":"1.0"},"canonical_sha256":"e1552a429dbc8fd62002661a88030a98fa00a26c9df24c7bc71ccee2fa519466","source":{"kind":"arxiv","id":"1408.0979","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1408.0979","created_at":"2026-05-18T02:45:50Z"},{"alias_kind":"arxiv_version","alias_value":"1408.0979v1","created_at":"2026-05-18T02:45:50Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1408.0979","created_at":"2026-05-18T02:45:50Z"},{"alias_kind":"pith_short_12","alias_value":"4FKSUQU5XSH5","created_at":"2026-05-18T12:28:14Z"},{"alias_kind":"pith_short_16","alias_value":"4FKSUQU5XSH5MIAC","created_at":"2026-05-18T12:28:14Z"},{"alias_kind":"pith_short_8","alias_value":"4FKSUQU5","created_at":"2026-05-18T12:28:14Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2014:4FKSUQU5XSH5MIACMYNIQAYKTD","target":"record","payload":{"canonical_record":{"source":{"id":"1408.0979","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2014-08-05T14:13:31Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"ea0950a116d353e415424aadea8050608e3537b5be228191bdc6ef505d1bc6c0","abstract_canon_sha256":"9a84d1b2c5a349260d3cd75bc9799d937e9bcc8bd5277a6f76c27d0d334c7667"},"schema_version":"1.0"},"canonical_sha256":"e1552a429dbc8fd62002661a88030a98fa00a26c9df24c7bc71ccee2fa519466","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:45:50.040484Z","signature_b64":"Ezm5VSuVhKcPIz4IYiOG5i3Qz7b4CIKqEzibJHmFAN2pS1Vfv2AnLHnxBHvrKUJrr2JVNcVaU1wtpZC2fhdlCA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"e1552a429dbc8fd62002661a88030a98fa00a26c9df24c7bc71ccee2fa519466","last_reissued_at":"2026-05-18T02:45:50.039849Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:45:50.039849Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1408.0979","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-18T02:45:50Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"c51pV4+b3viyCxz2s8xGz2clyeQhGAnfTEDmodQzL7/saeUsgybW6E5IOBqMsfGVkXZIVMGZe1b96k6Qmp8CAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T18:03:42.433632Z"},"content_sha256":"71534fd8fecde920ae9ddc17ce0f4aa667ad17828d9a3a5cbdc0f830fad61819","schema_version":"1.0","event_id":"sha256:71534fd8fecde920ae9ddc17ce0f4aa667ad17828d9a3a5cbdc0f830fad61819"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2014:4FKSUQU5XSH5MIACMYNIQAYKTD","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Distributed Markov Chains","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"cs.DC","authors_text":"Madhavan Mukund, P S Thiagarajan, Ratul Saha, Sumit Kumar Jha","submitted_at":"2014-08-05T14:13:31Z","abstract_excerpt":"The formal verification of large probabilistic models is important and challenging. Exploiting the concurrency that is often present is one way to address this problem. Here we study a restricted class of asynchronous distributed probabilistic systems in which the synchronizations determine the probability distribution for the next moves of the participating agents. The key restriction we impose is that the synchronizations are deterministic, in the sense that any two simultaneously enabled synchronizations must involve disjoint sets of agents. As a result, this network of agents can be viewed"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1408.0979","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-18T02:45:50Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"TQQjnMnzsEEm2v6TN4awPj9yEcZEAzJIolO3a1oGVauDjeSiV9RDgDPvpMA72JkvoRxbkbo1gERlN+nJzTWkCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T18:03:42.434253Z"},"content_sha256":"811264751ab7216be56c3b9e087d3a627b76a734bebfe2291399a2d5b31e3944","schema_version":"1.0","event_id":"sha256:811264751ab7216be56c3b9e087d3a627b76a734bebfe2291399a2d5b31e3944"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/4FKSUQU5XSH5MIACMYNIQAYKTD/bundle.json","state_url":"https://pith.science/pith/4FKSUQU5XSH5MIACMYNIQAYKTD/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/4FKSUQU5XSH5MIACMYNIQAYKTD/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-02T18:03:42Z","links":{"resolver":"https://pith.science/pith/4FKSUQU5XSH5MIACMYNIQAYKTD","bundle":"https://pith.science/pith/4FKSUQU5XSH5MIACMYNIQAYKTD/bundle.json","state":"https://pith.science/pith/4FKSUQU5XSH5MIACMYNIQAYKTD/state.json","well_known_bundle":"https://pith.science/.well-known/pith/4FKSUQU5XSH5MIACMYNIQAYKTD/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:4FKSUQU5XSH5MIACMYNIQAYKTD","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":"9a84d1b2c5a349260d3cd75bc9799d937e9bcc8bd5277a6f76c27d0d334c7667","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2014-08-05T14:13:31Z","title_canon_sha256":"ea0950a116d353e415424aadea8050608e3537b5be228191bdc6ef505d1bc6c0"},"schema_version":"1.0","source":{"id":"1408.0979","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1408.0979","created_at":"2026-05-18T02:45:50Z"},{"alias_kind":"arxiv_version","alias_value":"1408.0979v1","created_at":"2026-05-18T02:45:50Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1408.0979","created_at":"2026-05-18T02:45:50Z"},{"alias_kind":"pith_short_12","alias_value":"4FKSUQU5XSH5","created_at":"2026-05-18T12:28:14Z"},{"alias_kind":"pith_short_16","alias_value":"4FKSUQU5XSH5MIAC","created_at":"2026-05-18T12:28:14Z"},{"alias_kind":"pith_short_8","alias_value":"4FKSUQU5","created_at":"2026-05-18T12:28:14Z"}],"graph_snapshots":[{"event_id":"sha256:811264751ab7216be56c3b9e087d3a627b76a734bebfe2291399a2d5b31e3944","target":"graph","created_at":"2026-05-18T02:45:50Z","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":"The formal verification of large probabilistic models is important and challenging. Exploiting the concurrency that is often present is one way to address this problem. Here we study a restricted class of asynchronous distributed probabilistic systems in which the synchronizations determine the probability distribution for the next moves of the participating agents. The key restriction we impose is that the synchronizations are deterministic, in the sense that any two simultaneously enabled synchronizations must involve disjoint sets of agents. As a result, this network of agents can be viewed","authors_text":"Madhavan Mukund, P S Thiagarajan, Ratul Saha, Sumit Kumar Jha","cross_cats":["cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2014-08-05T14:13:31Z","title":"Distributed Markov Chains"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1408.0979","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:71534fd8fecde920ae9ddc17ce0f4aa667ad17828d9a3a5cbdc0f830fad61819","target":"record","created_at":"2026-05-18T02:45:50Z","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":"9a84d1b2c5a349260d3cd75bc9799d937e9bcc8bd5277a6f76c27d0d334c7667","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2014-08-05T14:13:31Z","title_canon_sha256":"ea0950a116d353e415424aadea8050608e3537b5be228191bdc6ef505d1bc6c0"},"schema_version":"1.0","source":{"id":"1408.0979","kind":"arxiv","version":1}},"canonical_sha256":"e1552a429dbc8fd62002661a88030a98fa00a26c9df24c7bc71ccee2fa519466","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"e1552a429dbc8fd62002661a88030a98fa00a26c9df24c7bc71ccee2fa519466","first_computed_at":"2026-05-18T02:45:50.039849Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:45:50.039849Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Ezm5VSuVhKcPIz4IYiOG5i3Qz7b4CIKqEzibJHmFAN2pS1Vfv2AnLHnxBHvrKUJrr2JVNcVaU1wtpZC2fhdlCA==","signature_status":"signed_v1","signed_at":"2026-05-18T02:45:50.040484Z","signed_message":"canonical_sha256_bytes"},"source_id":"1408.0979","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:71534fd8fecde920ae9ddc17ce0f4aa667ad17828d9a3a5cbdc0f830fad61819","sha256:811264751ab7216be56c3b9e087d3a627b76a734bebfe2291399a2d5b31e3944"],"state_sha256":"2957268363908879f1dff99b680ff1ab938d96607108dfbdcf1bbc6d9e85f539"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"xFcoOkED4KGOReCm6mx8vPg6TllG5PbfU4/qTf7WmbCfCAaRkshwzQD7NOeYxuu/AtcnvvUjhZiEyhgD+ELZCQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-02T18:03:42.437257Z","bundle_sha256":"0c5c8cbae367b66345d11e99e9390c5b8d5884bb11621e955d416b15e6cdc0dc"}}