{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2013:N4XX4MF7Q7N2VYKYLD4VP57K65","short_pith_number":"pith:N4XX4MF7","canonical_record":{"source":{"id":"1306.2696","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2013-06-12T01:55:52Z","cross_cats_sorted":[],"title_canon_sha256":"1b7cc8486182104a639bd4cc165dd555f650f74ddca8bf1f93f18f31fadfadfa","abstract_canon_sha256":"d23816be94c874c80bb42d1cc1666df8177e6fd90394ce3d11ef1d6e1ea7225a"},"schema_version":"1.0"},"canonical_sha256":"6f2f7e30bf87dbaae15858f957f7eaf777e82df0fc38164d9b28ff1aea3c0be6","source":{"kind":"arxiv","id":"1306.2696","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1306.2696","created_at":"2026-05-18T03:21:09Z"},{"alias_kind":"arxiv_version","alias_value":"1306.2696v1","created_at":"2026-05-18T03:21:09Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1306.2696","created_at":"2026-05-18T03:21:09Z"},{"alias_kind":"pith_short_12","alias_value":"N4XX4MF7Q7N2","created_at":"2026-05-18T12:27:52Z"},{"alias_kind":"pith_short_16","alias_value":"N4XX4MF7Q7N2VYKY","created_at":"2026-05-18T12:27:52Z"},{"alias_kind":"pith_short_8","alias_value":"N4XX4MF7","created_at":"2026-05-18T12:27:52Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2013:N4XX4MF7Q7N2VYKYLD4VP57K65","target":"record","payload":{"canonical_record":{"source":{"id":"1306.2696","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2013-06-12T01:55:52Z","cross_cats_sorted":[],"title_canon_sha256":"1b7cc8486182104a639bd4cc165dd555f650f74ddca8bf1f93f18f31fadfadfa","abstract_canon_sha256":"d23816be94c874c80bb42d1cc1666df8177e6fd90394ce3d11ef1d6e1ea7225a"},"schema_version":"1.0"},"canonical_sha256":"6f2f7e30bf87dbaae15858f957f7eaf777e82df0fc38164d9b28ff1aea3c0be6","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:21:09.692457Z","signature_b64":"mDneYBzLow/ydQgWBzVVLmEBn+NI0NsuUVabpL6zqiw2avEzGBpU0dtyUTmAOUT1XGd4ErknrEieUw4ayvOHCQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"6f2f7e30bf87dbaae15858f957f7eaf777e82df0fc38164d9b28ff1aea3c0be6","last_reissued_at":"2026-05-18T03:21:09.691765Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:21:09.691765Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1306.2696","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:21:09Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"EcnKVMxozCl9TDdwFoVHInJWq2FDD2LfB6a5qgp1LA+xKj4XaUwji1aEi3I5fylHGh1l2DfvOqT6BdJiNlf0Cg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-06T21:22:02.523916Z"},"content_sha256":"ba13806d2ff283fb96fdfe161dfb5facf72c583d714dfcbf7ea7da38e8066f53","schema_version":"1.0","event_id":"sha256:ba13806d2ff283fb96fdfe161dfb5facf72c583d714dfcbf7ea7da38e8066f53"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2013:N4XX4MF7Q7N2VYKYLD4VP57K65","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"The Spectrum of Strong Behavioral Equivalences for Nondeterministic and Probabilistic Processes","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Italy), Marco Bernardo (University of Urbino, Michele Loreti (University of Firenze, Rocco De Nicola (IMT Lucca","submitted_at":"2013-06-12T01:55:52Z","abstract_excerpt":"We present a spectrum of trace-based, testing, and bisimulation equivalences for nondeterministic and probabilistic processes whose activities are all observable. For every equivalence under study, 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. We show that the first approach - which compares two resolutions relatively to the probability distributions of all considered events - results in a fragment of the spectrum compatibl"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1306.2696","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:21:09Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"cC0qNju4p4sqGRa2LvyOwl1+Kis5eOmG0JmYJGSLyYzHTFWA18gFZGz7L8oL/N3xDn2e9tInocgaVsaX//FWCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-06T21:22:02.524256Z"},"content_sha256":"6c291ba7895f82e8228f4f4abf064326e6eb98ae56e6c5e8bca587313e361190","schema_version":"1.0","event_id":"sha256:6c291ba7895f82e8228f4f4abf064326e6eb98ae56e6c5e8bca587313e361190"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/N4XX4MF7Q7N2VYKYLD4VP57K65/bundle.json","state_url":"https://pith.science/pith/N4XX4MF7Q7N2VYKYLD4VP57K65/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/N4XX4MF7Q7N2VYKYLD4VP57K65/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-06T21:22:02Z","links":{"resolver":"https://pith.science/pith/N4XX4MF7Q7N2VYKYLD4VP57K65","bundle":"https://pith.science/pith/N4XX4MF7Q7N2VYKYLD4VP57K65/bundle.json","state":"https://pith.science/pith/N4XX4MF7Q7N2VYKYLD4VP57K65/state.json","well_known_bundle":"https://pith.science/.well-known/pith/N4XX4MF7Q7N2VYKYLD4VP57K65/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:N4XX4MF7Q7N2VYKYLD4VP57K65","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":"d23816be94c874c80bb42d1cc1666df8177e6fd90394ce3d11ef1d6e1ea7225a","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2013-06-12T01:55:52Z","title_canon_sha256":"1b7cc8486182104a639bd4cc165dd555f650f74ddca8bf1f93f18f31fadfadfa"},"schema_version":"1.0","source":{"id":"1306.2696","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1306.2696","created_at":"2026-05-18T03:21:09Z"},{"alias_kind":"arxiv_version","alias_value":"1306.2696v1","created_at":"2026-05-18T03:21:09Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1306.2696","created_at":"2026-05-18T03:21:09Z"},{"alias_kind":"pith_short_12","alias_value":"N4XX4MF7Q7N2","created_at":"2026-05-18T12:27:52Z"},{"alias_kind":"pith_short_16","alias_value":"N4XX4MF7Q7N2VYKY","created_at":"2026-05-18T12:27:52Z"},{"alias_kind":"pith_short_8","alias_value":"N4XX4MF7","created_at":"2026-05-18T12:27:52Z"}],"graph_snapshots":[{"event_id":"sha256:6c291ba7895f82e8228f4f4abf064326e6eb98ae56e6c5e8bca587313e361190","target":"graph","created_at":"2026-05-18T03:21:09Z","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":"We present a spectrum of trace-based, testing, and bisimulation equivalences for nondeterministic and probabilistic processes whose activities are all observable. For every equivalence under study, 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. We show that the first approach - which compares two resolutions relatively to the probability distributions of all considered events - results in a fragment of the spectrum compatibl","authors_text":"Italy), Marco Bernardo (University of Urbino, Michele Loreti (University of Firenze, Rocco De Nicola (IMT Lucca","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2013-06-12T01:55:52Z","title":"The Spectrum of Strong Behavioral Equivalences for Nondeterministic and Probabilistic Processes"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1306.2696","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:ba13806d2ff283fb96fdfe161dfb5facf72c583d714dfcbf7ea7da38e8066f53","target":"record","created_at":"2026-05-18T03:21:09Z","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":"d23816be94c874c80bb42d1cc1666df8177e6fd90394ce3d11ef1d6e1ea7225a","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2013-06-12T01:55:52Z","title_canon_sha256":"1b7cc8486182104a639bd4cc165dd555f650f74ddca8bf1f93f18f31fadfadfa"},"schema_version":"1.0","source":{"id":"1306.2696","kind":"arxiv","version":1}},"canonical_sha256":"6f2f7e30bf87dbaae15858f957f7eaf777e82df0fc38164d9b28ff1aea3c0be6","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"6f2f7e30bf87dbaae15858f957f7eaf777e82df0fc38164d9b28ff1aea3c0be6","first_computed_at":"2026-05-18T03:21:09.691765Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:21:09.691765Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"mDneYBzLow/ydQgWBzVVLmEBn+NI0NsuUVabpL6zqiw2avEzGBpU0dtyUTmAOUT1XGd4ErknrEieUw4ayvOHCQ==","signature_status":"signed_v1","signed_at":"2026-05-18T03:21:09.692457Z","signed_message":"canonical_sha256_bytes"},"source_id":"1306.2696","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:ba13806d2ff283fb96fdfe161dfb5facf72c583d714dfcbf7ea7da38e8066f53","sha256:6c291ba7895f82e8228f4f4abf064326e6eb98ae56e6c5e8bca587313e361190"],"state_sha256":"0bdcda31b390301d5ad29cb50dfddd0996d80ca1a6b5e441f4a01b972cb40f94"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"mgxBrpO67O4U++2IhXp/WgAjZ/5ZNFjD7JgiyspQPkC5xWNxukOuE14yZdQT0UPH25c5LlSCVgwVAgh1ZoXpAQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-06T21:22:02.527126Z","bundle_sha256":"6edcb712e4ea837d31af8ad2ea6e7bf8a82984404a9b8442773c09a17f06ac80"}}