{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2013:ALJHZ3KWQF6ADAUUQNSHK6PFNW","short_pith_number":"pith:ALJHZ3KW","canonical_record":{"source":{"id":"1305.0538","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2013-05-02T19:07:05Z","cross_cats_sorted":[],"title_canon_sha256":"2220b0e2749ebe468cd2d82758cd92635d25fe85097064aaece6d9aae33e1495","abstract_canon_sha256":"637946f301732b1166c1738bf747383ec6b6e8383365693b71bc0994b03a377b"},"schema_version":"1.0"},"canonical_sha256":"02d27ced56817c01829483647579e56db3948c7aaabf9fe0bd555b4d6b07b0e8","source":{"kind":"arxiv","id":"1305.0538","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1305.0538","created_at":"2026-05-18T03:04:59Z"},{"alias_kind":"arxiv_version","alias_value":"1305.0538v3","created_at":"2026-05-18T03:04:59Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1305.0538","created_at":"2026-05-18T03:04:59Z"},{"alias_kind":"pith_short_12","alias_value":"ALJHZ3KWQF6A","created_at":"2026-05-18T12:27:38Z"},{"alias_kind":"pith_short_16","alias_value":"ALJHZ3KWQF6ADAUU","created_at":"2026-05-18T12:27:38Z"},{"alias_kind":"pith_short_8","alias_value":"ALJHZ3KW","created_at":"2026-05-18T12:27:38Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2013:ALJHZ3KWQF6ADAUUQNSHK6PFNW","target":"record","payload":{"canonical_record":{"source":{"id":"1305.0538","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2013-05-02T19:07:05Z","cross_cats_sorted":[],"title_canon_sha256":"2220b0e2749ebe468cd2d82758cd92635d25fe85097064aaece6d9aae33e1495","abstract_canon_sha256":"637946f301732b1166c1738bf747383ec6b6e8383365693b71bc0994b03a377b"},"schema_version":"1.0"},"canonical_sha256":"02d27ced56817c01829483647579e56db3948c7aaabf9fe0bd555b4d6b07b0e8","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:04:59.456856Z","signature_b64":"r3lg/VqCNZtgMhx/rZ1Jv6zd3abehTlCbdFCyEYjhavkymRbGfLw20Q8ko57J2m9S/ZtMm65ZKBl6lR4j1StBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"02d27ced56817c01829483647579e56db3948c7aaabf9fe0bd555b4d6b07b0e8","last_reissued_at":"2026-05-18T03:04:59.456296Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:04:59.456296Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1305.0538","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-18T03:04:59Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"jgxjhqA1XDw1Ey+UUhhqZdxkiTsg6Hbn7kg/Ovytv6xde1NXwgU1hiQtu3Zjh18iXzKh9MhV2Wxat4bNywx5Bg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-09T15:37:58.832156Z"},"content_sha256":"06408aa8fe94a37633cadb819c5cdf2f0137c34f1a25042f4fab2d2a257a7900","schema_version":"1.0","event_id":"sha256:06408aa8fe94a37633cadb819c5cdf2f0137c34f1a25042f4fab2d2a257a7900"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2013:ALJHZ3KWQF6ADAUUQNSHK6PFNW","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"A Companion of \"Relating Strong Behavioral Equivalences for Processes with Nondeterminism and Probabilities\"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Marco Bernardo, Michele Loreti, Rocco De Nicola","submitted_at":"2013-05-02T19:07:05Z","abstract_excerpt":"In the paper \"Relating Strong Behavioral Equivalences for Processes with Nondeterminism and Probabilities\" to appear in TCS, we present a comparison of behavioral equivalences for nondeterministic and probabilistic processes. In particular, we consider strong trace, failure, testing, and bisimulation equivalences. For each of these groups of equivalences, we examine the discriminating power of three variants stemming from three approaches that differ for the way probabilities of events are compared when nondeterministic choices are resolved via deterministic schedulers. The established relatio"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1305.0538","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-18T03:04:59Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"95KJ7CE5PP1vLwBYbJM6rblQqKy3eyp8mlu6lbFfqI/qXADi0ohCoD1u4ZSLOdrzwCEd89U2EQSGOhCvxeGrCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-09T15:37:58.832587Z"},"content_sha256":"85cfd6919ea1875b7d1dbd8c1c6332402ff8fcd3ae33828f68a3410f8e8b5efd","schema_version":"1.0","event_id":"sha256:85cfd6919ea1875b7d1dbd8c1c6332402ff8fcd3ae33828f68a3410f8e8b5efd"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/ALJHZ3KWQF6ADAUUQNSHK6PFNW/bundle.json","state_url":"https://pith.science/pith/ALJHZ3KWQF6ADAUUQNSHK6PFNW/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/ALJHZ3KWQF6ADAUUQNSHK6PFNW/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-09T15:37:58Z","links":{"resolver":"https://pith.science/pith/ALJHZ3KWQF6ADAUUQNSHK6PFNW","bundle":"https://pith.science/pith/ALJHZ3KWQF6ADAUUQNSHK6PFNW/bundle.json","state":"https://pith.science/pith/ALJHZ3KWQF6ADAUUQNSHK6PFNW/state.json","well_known_bundle":"https://pith.science/.well-known/pith/ALJHZ3KWQF6ADAUUQNSHK6PFNW/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:ALJHZ3KWQF6ADAUUQNSHK6PFNW","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":"637946f301732b1166c1738bf747383ec6b6e8383365693b71bc0994b03a377b","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2013-05-02T19:07:05Z","title_canon_sha256":"2220b0e2749ebe468cd2d82758cd92635d25fe85097064aaece6d9aae33e1495"},"schema_version":"1.0","source":{"id":"1305.0538","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1305.0538","created_at":"2026-05-18T03:04:59Z"},{"alias_kind":"arxiv_version","alias_value":"1305.0538v3","created_at":"2026-05-18T03:04:59Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1305.0538","created_at":"2026-05-18T03:04:59Z"},{"alias_kind":"pith_short_12","alias_value":"ALJHZ3KWQF6A","created_at":"2026-05-18T12:27:38Z"},{"alias_kind":"pith_short_16","alias_value":"ALJHZ3KWQF6ADAUU","created_at":"2026-05-18T12:27:38Z"},{"alias_kind":"pith_short_8","alias_value":"ALJHZ3KW","created_at":"2026-05-18T12:27:38Z"}],"graph_snapshots":[{"event_id":"sha256:85cfd6919ea1875b7d1dbd8c1c6332402ff8fcd3ae33828f68a3410f8e8b5efd","target":"graph","created_at":"2026-05-18T03:04:59Z","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":"In the paper \"Relating Strong Behavioral Equivalences for Processes with Nondeterminism and Probabilities\" to appear in TCS, we present a comparison of behavioral equivalences for nondeterministic and probabilistic processes. In particular, we consider strong trace, failure, testing, and bisimulation equivalences. For each of these groups of equivalences, we examine the discriminating power of three variants stemming from three approaches that differ for the way probabilities of events are compared when nondeterministic choices are resolved via deterministic schedulers. The established relatio","authors_text":"Marco Bernardo, Michele Loreti, Rocco De Nicola","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2013-05-02T19:07:05Z","title":"A Companion of \"Relating Strong Behavioral Equivalences for Processes with Nondeterminism and Probabilities\""},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1305.0538","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:06408aa8fe94a37633cadb819c5cdf2f0137c34f1a25042f4fab2d2a257a7900","target":"record","created_at":"2026-05-18T03:04:59Z","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":"637946f301732b1166c1738bf747383ec6b6e8383365693b71bc0994b03a377b","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2013-05-02T19:07:05Z","title_canon_sha256":"2220b0e2749ebe468cd2d82758cd92635d25fe85097064aaece6d9aae33e1495"},"schema_version":"1.0","source":{"id":"1305.0538","kind":"arxiv","version":3}},"canonical_sha256":"02d27ced56817c01829483647579e56db3948c7aaabf9fe0bd555b4d6b07b0e8","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"02d27ced56817c01829483647579e56db3948c7aaabf9fe0bd555b4d6b07b0e8","first_computed_at":"2026-05-18T03:04:59.456296Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:04:59.456296Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"r3lg/VqCNZtgMhx/rZ1Jv6zd3abehTlCbdFCyEYjhavkymRbGfLw20Q8ko57J2m9S/ZtMm65ZKBl6lR4j1StBw==","signature_status":"signed_v1","signed_at":"2026-05-18T03:04:59.456856Z","signed_message":"canonical_sha256_bytes"},"source_id":"1305.0538","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:06408aa8fe94a37633cadb819c5cdf2f0137c34f1a25042f4fab2d2a257a7900","sha256:85cfd6919ea1875b7d1dbd8c1c6332402ff8fcd3ae33828f68a3410f8e8b5efd"],"state_sha256":"841b99dd9541b7f731b541e0075e451e46ae3ed51c96a5976e9c5699a7b7fcfc"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"e9ZsHiBaG8W/WxgcHsk+h3cQRt+72oOeuPKCWs4MoRF3uZOao1XsQpPdp0ElN6BXq1k0k5Ih6Jj7Y0rgxV2SAg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-09T15:37:58.834581Z","bundle_sha256":"b3b85c84c8e9d8a516271cd2018fa0623bf9380cb96c9479922fa0c109c8ee66"}}