{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2009:Y6Z24WHXUDF2LDQUY5IGW5F5EO","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":"d504902eec1dfa61f442bfe7f5cc01325a7acbd313223b634072150fba93d56c","cross_cats_sorted":["cs.CE","cs.FL","q-bio.QM"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2009-11-26T00:36:03Z","title_canon_sha256":"d088643c3860114ab3e37d522032618cec001cb1b7819767431476adea2718c4"},"schema_version":"1.0","source":{"id":"0911.4988","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"0911.4988","created_at":"2026-07-04T17:16:42Z"},{"alias_kind":"arxiv_version","alias_value":"0911.4988v1","created_at":"2026-07-04T17:16:42Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.0911.4988","created_at":"2026-07-04T17:16:42Z"},{"alias_kind":"pith_short_12","alias_value":"Y6Z24WHXUDF2","created_at":"2026-07-04T17:16:42Z"},{"alias_kind":"pith_short_16","alias_value":"Y6Z24WHXUDF2LDQU","created_at":"2026-07-04T17:16:42Z"},{"alias_kind":"pith_short_8","alias_value":"Y6Z24WHX","created_at":"2026-07-04T17:16:42Z"}],"graph_snapshots":[{"event_id":"sha256:1530293022db8b4621432f05ef48d02cf0dc12b0d330c2e8694fd867fec2f770","target":"graph","created_at":"2026-07-04T17:16:42Z","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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/0911.4988/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"In a previous paper the authors applied the Abstract Interpretation approach for approximating the probabilistic semantics of biological systems, modeled specifically using the Chemical Ground Form calculus. The methodology is based on the idea of representing a set of experiments, which differ only for the initial concentrations, by abstracting the multiplicity of reagents present in a solution, using intervals. In this paper, we refine the approach in order to address probabilistic termination properties. More in details, we introduce a refinement of the abstract LTS semantics and we abstrac","authors_text":"Francesca Levi (Dipartimento di informatica, Pisa), Pisa.), Roberta Gori (Dipartimento di informatica","cross_cats":["cs.CE","cs.FL","q-bio.QM"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2009-11-26T00:36:03Z","title":"Abstract Interpretation for Probabilistic Termination of Biological Systems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"0911.4988","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:ba3d9d25ec367c8dd59f73b852b1ab3e9a7b1e029ff8a6d7732986e17344bcef","target":"record","created_at":"2026-07-04T17:16:42Z","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":"d504902eec1dfa61f442bfe7f5cc01325a7acbd313223b634072150fba93d56c","cross_cats_sorted":["cs.CE","cs.FL","q-bio.QM"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2009-11-26T00:36:03Z","title_canon_sha256":"d088643c3860114ab3e37d522032618cec001cb1b7819767431476adea2718c4"},"schema_version":"1.0","source":{"id":"0911.4988","kind":"arxiv","version":1}},"canonical_sha256":"c7b3ae58f7a0cba58e14c7506b74bd2388b6c07598ce789ab36d6ed2dc8f18fe","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"c7b3ae58f7a0cba58e14c7506b74bd2388b6c07598ce789ab36d6ed2dc8f18fe","first_computed_at":"2026-07-04T17:16:42.043051Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-04T17:16:42.043051Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"U78ZUvoWQhtSl1ja9qNL316p1PYJQ46tC9aDJRW0bmPD5KNDilMIFYBStaWGbWSmFvT3qLjaZ5ObN35mUZWBDw==","signature_status":"signed_v1","signed_at":"2026-07-04T17:16:42.043427Z","signed_message":"canonical_sha256_bytes"},"source_id":"0911.4988","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:ba3d9d25ec367c8dd59f73b852b1ab3e9a7b1e029ff8a6d7732986e17344bcef","sha256:1530293022db8b4621432f05ef48d02cf0dc12b0d330c2e8694fd867fec2f770"],"state_sha256":"270171f04d3a154a46c950d38658edd8617978b3456e9274aadb660bfa86a979"}