{"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"}