{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:WNPQ4FY34NH53I5P5HK4T34YJ7","short_pith_number":"pith:WNPQ4FY3","canonical_record":{"source":{"id":"1601.06198","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-01-22T23:10:29Z","cross_cats_sorted":[],"title_canon_sha256":"3bc77f404e261e9292b69649e7eee44f82e391d2029440ff3f028fc110b8cba6","abstract_canon_sha256":"fd6a14613acf008f27b1c6e0f2317b2b9b617870bbd411178262e19bdf8b5c0a"},"schema_version":"1.0"},"canonical_sha256":"b35f0e171be34fdda3afe9d5c9ef984ff3833d3433706db59dd402e68cd325ff","source":{"kind":"arxiv","id":"1601.06198","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1601.06198","created_at":"2026-05-18T01:01:31Z"},{"alias_kind":"arxiv_version","alias_value":"1601.06198v3","created_at":"2026-05-18T01:01:31Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1601.06198","created_at":"2026-05-18T01:01:31Z"},{"alias_kind":"pith_short_12","alias_value":"WNPQ4FY34NH5","created_at":"2026-05-18T12:30:48Z"},{"alias_kind":"pith_short_16","alias_value":"WNPQ4FY34NH53I5P","created_at":"2026-05-18T12:30:48Z"},{"alias_kind":"pith_short_8","alias_value":"WNPQ4FY3","created_at":"2026-05-18T12:30:48Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:WNPQ4FY34NH53I5P5HK4T34YJ7","target":"record","payload":{"canonical_record":{"source":{"id":"1601.06198","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-01-22T23:10:29Z","cross_cats_sorted":[],"title_canon_sha256":"3bc77f404e261e9292b69649e7eee44f82e391d2029440ff3f028fc110b8cba6","abstract_canon_sha256":"fd6a14613acf008f27b1c6e0f2317b2b9b617870bbd411178262e19bdf8b5c0a"},"schema_version":"1.0"},"canonical_sha256":"b35f0e171be34fdda3afe9d5c9ef984ff3833d3433706db59dd402e68cd325ff","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:01:31.239718Z","signature_b64":"i1OHnzCEiNZwKKplLng6DpgdranDQ/9hV719t1hkC2aIQ/N1nTy85YDBJcfwN3/fmnr9lTFifLycqyEVFeWwAw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"b35f0e171be34fdda3afe9d5c9ef984ff3833d3433706db59dd402e68cd325ff","last_reissued_at":"2026-05-18T01:01:31.239269Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:01:31.239269Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1601.06198","source_version":3,"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-18T01:01:31Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"cFgpopOQEk/75ZUVIH9c+WYW3qjMWV78V3qdrl2vSTntFD5JKjfLc3jfXzoW6r26Wp8YnCDPoCnDJFWUJC0iAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T10:09:58.464733Z"},"content_sha256":"389516a16fa3ef2518e8f6d2bcf3ea7f5d696f984d649ad68ffaddce3292ad58","schema_version":"1.0","event_id":"sha256:389516a16fa3ef2518e8f6d2bcf3ea7f5d696f984d649ad68ffaddce3292ad58"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:WNPQ4FY34NH53I5P5HK4T34YJ7","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Disjunctive Probabilistic Modal Logic is Enough for Bisimilarity on Reactive Probabilistic Systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Marco Bernardo, Marino Miculan","submitted_at":"2016-01-22T23:10:29Z","abstract_excerpt":"Larsen and Skou characterized probabilistic bisimilarity over reactive probabilistic systems with a logic including true, negation, conjunction, and a diamond modality decorated with a probabilistic lower bound. Later on, Desharnais, Edalat, and Panangaden showed that negation is not necessary to characterize the same equivalence. In this paper, we prove that the logical characterization holds also when conjunction is replaced by disjunction, with negation still being not necessary. To this end, we introduce reactive probabilistic trees, a fully abstract model for reactive probabilistic system"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1601.06198","kind":"arxiv","version":3},"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-18T01:01:31Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"6NjRfW03TR9YT7Aka1hfH/iFvuEyEHE9QCPf6OUrY1pj/4Uh5X4gJBRioWMoyp/dRdAfn8ur9Xag5geLqDLHBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T10:09:58.465082Z"},"content_sha256":"9e20f64fddd5059eed76ee54e42da0b403b84f5eee6fc926fd9355bd26fe7958","schema_version":"1.0","event_id":"sha256:9e20f64fddd5059eed76ee54e42da0b403b84f5eee6fc926fd9355bd26fe7958"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/WNPQ4FY34NH53I5P5HK4T34YJ7/bundle.json","state_url":"https://pith.science/pith/WNPQ4FY34NH53I5P5HK4T34YJ7/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/WNPQ4FY34NH53I5P5HK4T34YJ7/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-02T10:09:58Z","links":{"resolver":"https://pith.science/pith/WNPQ4FY34NH53I5P5HK4T34YJ7","bundle":"https://pith.science/pith/WNPQ4FY34NH53I5P5HK4T34YJ7/bundle.json","state":"https://pith.science/pith/WNPQ4FY34NH53I5P5HK4T34YJ7/state.json","well_known_bundle":"https://pith.science/.well-known/pith/WNPQ4FY34NH53I5P5HK4T34YJ7/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:WNPQ4FY34NH53I5P5HK4T34YJ7","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":"fd6a14613acf008f27b1c6e0f2317b2b9b617870bbd411178262e19bdf8b5c0a","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-01-22T23:10:29Z","title_canon_sha256":"3bc77f404e261e9292b69649e7eee44f82e391d2029440ff3f028fc110b8cba6"},"schema_version":"1.0","source":{"id":"1601.06198","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1601.06198","created_at":"2026-05-18T01:01:31Z"},{"alias_kind":"arxiv_version","alias_value":"1601.06198v3","created_at":"2026-05-18T01:01:31Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1601.06198","created_at":"2026-05-18T01:01:31Z"},{"alias_kind":"pith_short_12","alias_value":"WNPQ4FY34NH5","created_at":"2026-05-18T12:30:48Z"},{"alias_kind":"pith_short_16","alias_value":"WNPQ4FY34NH53I5P","created_at":"2026-05-18T12:30:48Z"},{"alias_kind":"pith_short_8","alias_value":"WNPQ4FY3","created_at":"2026-05-18T12:30:48Z"}],"graph_snapshots":[{"event_id":"sha256:9e20f64fddd5059eed76ee54e42da0b403b84f5eee6fc926fd9355bd26fe7958","target":"graph","created_at":"2026-05-18T01:01:31Z","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":"Larsen and Skou characterized probabilistic bisimilarity over reactive probabilistic systems with a logic including true, negation, conjunction, and a diamond modality decorated with a probabilistic lower bound. Later on, Desharnais, Edalat, and Panangaden showed that negation is not necessary to characterize the same equivalence. In this paper, we prove that the logical characterization holds also when conjunction is replaced by disjunction, with negation still being not necessary. To this end, we introduce reactive probabilistic trees, a fully abstract model for reactive probabilistic system","authors_text":"Marco Bernardo, Marino Miculan","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-01-22T23:10:29Z","title":"Disjunctive Probabilistic Modal Logic is Enough for Bisimilarity on Reactive Probabilistic Systems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1601.06198","kind":"arxiv","version":3},"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:389516a16fa3ef2518e8f6d2bcf3ea7f5d696f984d649ad68ffaddce3292ad58","target":"record","created_at":"2026-05-18T01:01:31Z","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":"fd6a14613acf008f27b1c6e0f2317b2b9b617870bbd411178262e19bdf8b5c0a","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-01-22T23:10:29Z","title_canon_sha256":"3bc77f404e261e9292b69649e7eee44f82e391d2029440ff3f028fc110b8cba6"},"schema_version":"1.0","source":{"id":"1601.06198","kind":"arxiv","version":3}},"canonical_sha256":"b35f0e171be34fdda3afe9d5c9ef984ff3833d3433706db59dd402e68cd325ff","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"b35f0e171be34fdda3afe9d5c9ef984ff3833d3433706db59dd402e68cd325ff","first_computed_at":"2026-05-18T01:01:31.239269Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:01:31.239269Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"i1OHnzCEiNZwKKplLng6DpgdranDQ/9hV719t1hkC2aIQ/N1nTy85YDBJcfwN3/fmnr9lTFifLycqyEVFeWwAw==","signature_status":"signed_v1","signed_at":"2026-05-18T01:01:31.239718Z","signed_message":"canonical_sha256_bytes"},"source_id":"1601.06198","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:389516a16fa3ef2518e8f6d2bcf3ea7f5d696f984d649ad68ffaddce3292ad58","sha256:9e20f64fddd5059eed76ee54e42da0b403b84f5eee6fc926fd9355bd26fe7958"],"state_sha256":"8981f106b3ec967ed5d7e4a1cb60842faf1b39b0975850e17aa85a533634723f"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"wLKlVwli/Zgql7qo8ObO69UCtASzgdzO0uN0YsBTzjquHHUxfLHoLCIw9B1gMJUug0hltqEIy1szo5PG6zSXAQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-02T10:09:58.466995Z","bundle_sha256":"5f0c6feabd6a35ca9d5b23ad60eb856a822222202c783e5639d705b532b2fecd"}}