{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2008:XSU2WZSSPDSHYZT27SL5MRBYIY","short_pith_number":"pith:XSU2WZSS","schema_version":"1.0","canonical_sha256":"bca9ab665278e47c667afc97d6443846091b75adfac189cc51e9ec590810f068","source":{"kind":"arxiv","id":"0803.3796","version":3},"attestation_state":"computed","paper":{"title":"Approximating a Behavioural Pseudometric without Discount for<br> Probabilistic Systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Babita Sharma, Franck van Breugel, James Worrell","submitted_at":"2008-03-26T19:08:40Z","abstract_excerpt":"Desharnais, Gupta, Jagadeesan and Panangaden introduced a family of behavioural pseudometrics for probabilistic transition systems. These pseudometrics are a quantitative analogue of probabilistic bisimilarity. Distance zero captures probabilistic bisimilarity. Each pseudometric has a discount factor, a real number in the interval (0, 1]. The smaller the discount factor, the more the future is discounted. If the discount factor is one, then the future is not discounted at all. Desharnais et al. showed that the behavioural distances can be calculated up to any desired degree of accuracy if the "},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"0803.3796","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2008-03-26T19:08:40Z","cross_cats_sorted":[],"title_canon_sha256":"ecad5c568ff4b560e2b9d662e25ef44fbefdb9d5fcfcfea1f5870b394314747f","abstract_canon_sha256":"124bc4953f09cd73b1e0f3ae95aac0be3b71a267e9f4dc68260c1df0113ddb6a"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:37:42.509280Z","signature_b64":"vPc37H8/eBxYzmpAtZB2XhpCBUbzgx4g8hsL3SVE48wPh3CIuwEv+L9q5bDUpNgeAusmWagp0cur5Fg8OZCFCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"bca9ab665278e47c667afc97d6443846091b75adfac189cc51e9ec590810f068","last_reissued_at":"2026-05-18T01:37:42.508601Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:37:42.508601Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Approximating a Behavioural Pseudometric without Discount for<br> Probabilistic Systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Babita Sharma, Franck van Breugel, James Worrell","submitted_at":"2008-03-26T19:08:40Z","abstract_excerpt":"Desharnais, Gupta, Jagadeesan and Panangaden introduced a family of behavioural pseudometrics for probabilistic transition systems. These pseudometrics are a quantitative analogue of probabilistic bisimilarity. Distance zero captures probabilistic bisimilarity. Each pseudometric has a discount factor, a real number in the interval (0, 1]. The smaller the discount factor, the more the future is discounted. If the discount factor is one, then the future is not discounted at all. Desharnais et al. showed that the behavioural distances can be calculated up to any desired degree of accuracy if the "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"0803.3796","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"},"aliases":[{"alias_kind":"arxiv","alias_value":"0803.3796","created_at":"2026-05-18T01:37:42.508720+00:00"},{"alias_kind":"arxiv_version","alias_value":"0803.3796v3","created_at":"2026-05-18T01:37:42.508720+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.0803.3796","created_at":"2026-05-18T01:37:42.508720+00:00"},{"alias_kind":"pith_short_12","alias_value":"XSU2WZSSPDSH","created_at":"2026-05-18T12:25:58.018023+00:00"},{"alias_kind":"pith_short_16","alias_value":"XSU2WZSSPDSHYZT2","created_at":"2026-05-18T12:25:58.018023+00:00"},{"alias_kind":"pith_short_8","alias_value":"XSU2WZSS","created_at":"2026-05-18T12:25:58.018023+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/XSU2WZSSPDSHYZT27SL5MRBYIY","json":"https://pith.science/pith/XSU2WZSSPDSHYZT27SL5MRBYIY.json","graph_json":"https://pith.science/api/pith-number/XSU2WZSSPDSHYZT27SL5MRBYIY/graph.json","events_json":"https://pith.science/api/pith-number/XSU2WZSSPDSHYZT27SL5MRBYIY/events.json","paper":"https://pith.science/paper/XSU2WZSS"},"agent_actions":{"view_html":"https://pith.science/pith/XSU2WZSSPDSHYZT27SL5MRBYIY","download_json":"https://pith.science/pith/XSU2WZSSPDSHYZT27SL5MRBYIY.json","view_paper":"https://pith.science/paper/XSU2WZSS","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=0803.3796&json=true","fetch_graph":"https://pith.science/api/pith-number/XSU2WZSSPDSHYZT27SL5MRBYIY/graph.json","fetch_events":"https://pith.science/api/pith-number/XSU2WZSSPDSHYZT27SL5MRBYIY/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/XSU2WZSSPDSHYZT27SL5MRBYIY/action/timestamp_anchor","attest_storage":"https://pith.science/pith/XSU2WZSSPDSHYZT27SL5MRBYIY/action/storage_attestation","attest_author":"https://pith.science/pith/XSU2WZSSPDSHYZT27SL5MRBYIY/action/author_attestation","sign_citation":"https://pith.science/pith/XSU2WZSSPDSHYZT27SL5MRBYIY/action/citation_signature","submit_replication":"https://pith.science/pith/XSU2WZSSPDSHYZT27SL5MRBYIY/action/replication_record"}},"created_at":"2026-05-18T01:37:42.508720+00:00","updated_at":"2026-05-18T01:37:42.508720+00:00"}