{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2010:OEIPGRRCYLYSGHDQKXOU5J3S2Z","short_pith_number":"pith:OEIPGRRC","canonical_record":{"source":{"id":"1008.4754","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2010-08-26T16:09:17Z","cross_cats_sorted":["cs.NA","math.DS"],"title_canon_sha256":"af92d500014e3d0ee36aafa975e72d193b72a9023d9d23891f6be66ab676edde","abstract_canon_sha256":"9fa64fb09273a1264636dcc1e9878243cf00c7e953e038006c626da9aeff4955"},"schema_version":"1.0"},"canonical_sha256":"7110f34622c2f1231c7055dd4ea772d677962a3d8ed0ebfb4ce2ee7e68b1b559","source":{"kind":"arxiv","id":"1008.4754","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1008.4754","created_at":"2026-05-18T04:41:44Z"},{"alias_kind":"arxiv_version","alias_value":"1008.4754v1","created_at":"2026-05-18T04:41:44Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1008.4754","created_at":"2026-05-18T04:41:44Z"},{"alias_kind":"pith_short_12","alias_value":"OEIPGRRCYLYS","created_at":"2026-05-18T12:26:12Z"},{"alias_kind":"pith_short_16","alias_value":"OEIPGRRCYLYSGHDQ","created_at":"2026-05-18T12:26:12Z"},{"alias_kind":"pith_short_8","alias_value":"OEIPGRRC","created_at":"2026-05-18T12:26:12Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2010:OEIPGRRCYLYSGHDQKXOU5J3S2Z","target":"record","payload":{"canonical_record":{"source":{"id":"1008.4754","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2010-08-26T16:09:17Z","cross_cats_sorted":["cs.NA","math.DS"],"title_canon_sha256":"af92d500014e3d0ee36aafa975e72d193b72a9023d9d23891f6be66ab676edde","abstract_canon_sha256":"9fa64fb09273a1264636dcc1e9878243cf00c7e953e038006c626da9aeff4955"},"schema_version":"1.0"},"canonical_sha256":"7110f34622c2f1231c7055dd4ea772d677962a3d8ed0ebfb4ce2ee7e68b1b559","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T04:41:44.405592Z","signature_b64":"W/wpSwRzDJ4+GlTHd8c2F29cc0ePWFRyODsIAK5fz04iPqL/PEbyH4c7BzPTXFD/pT2HqYM9ZkSjnX+A068GBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"7110f34622c2f1231c7055dd4ea772d677962a3d8ed0ebfb4ce2ee7e68b1b559","last_reissued_at":"2026-05-18T04:41:44.405109Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T04:41:44.405109Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1008.4754","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-18T04:41:44Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"sr0npOM4dCDe1IdyoDnGIGsUNTrRxn+5nF5d7FE3v/O6oW9bwfvrzbqshSwIrYRNLUOnW9aoDwcEI80g/lKADA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-31T06:10:35.356953Z"},"content_sha256":"7b993e8a31914638d761d02086f4b765c55200387800fe1070ed466e301a5984","schema_version":"1.0","event_id":"sha256:7b993e8a31914638d761d02086f4b765c55200387800fe1070ed466e301a5984"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2010:OEIPGRRCYLYSGHDQKXOU5J3S2Z","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Fundamental Results on Fluid Approximations of Stochastic Process Algebra Models","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.NA","math.DS"],"primary_cat":"cs.LO","authors_text":"Jane Hillston, Jie Ding","submitted_at":"2010-08-26T16:09:17Z","abstract_excerpt":"In order to avoid the state space explosion problem encountered in the quantitative analysis of large scale PEPA models, a fluid approximation approach has recently been proposed, which results in a set of ordinary differential equations (ODEs) to approximate the underlying continuous time Markov chain (CTMC). This paper presents a mapping semantics from PEPA to ODEs based on a numerical representation scheme, which extends the class of PEPA models that can be subjected to fluid approximation. Furthermore, we have established the fundamental characteristics of the derived ODEs, such as the exi"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1008.4754","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-18T04:41:44Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"y1sjyCtfn1iFfSj5nxmtHIYg9NVnoyt0yTsAAimjAJaJaOILw8sN9WKYCI2IgPvKE3sdNBiB+FpEB/HjImqlBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-31T06:10:35.357668Z"},"content_sha256":"a5d120d3db82145948a782163596d17075380b68672d0cd67815e109c6d60d38","schema_version":"1.0","event_id":"sha256:a5d120d3db82145948a782163596d17075380b68672d0cd67815e109c6d60d38"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/OEIPGRRCYLYSGHDQKXOU5J3S2Z/bundle.json","state_url":"https://pith.science/pith/OEIPGRRCYLYSGHDQKXOU5J3S2Z/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/OEIPGRRCYLYSGHDQKXOU5J3S2Z/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-05-31T06:10:35Z","links":{"resolver":"https://pith.science/pith/OEIPGRRCYLYSGHDQKXOU5J3S2Z","bundle":"https://pith.science/pith/OEIPGRRCYLYSGHDQKXOU5J3S2Z/bundle.json","state":"https://pith.science/pith/OEIPGRRCYLYSGHDQKXOU5J3S2Z/state.json","well_known_bundle":"https://pith.science/.well-known/pith/OEIPGRRCYLYSGHDQKXOU5J3S2Z/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2010:OEIPGRRCYLYSGHDQKXOU5J3S2Z","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":"9fa64fb09273a1264636dcc1e9878243cf00c7e953e038006c626da9aeff4955","cross_cats_sorted":["cs.NA","math.DS"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2010-08-26T16:09:17Z","title_canon_sha256":"af92d500014e3d0ee36aafa975e72d193b72a9023d9d23891f6be66ab676edde"},"schema_version":"1.0","source":{"id":"1008.4754","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1008.4754","created_at":"2026-05-18T04:41:44Z"},{"alias_kind":"arxiv_version","alias_value":"1008.4754v1","created_at":"2026-05-18T04:41:44Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1008.4754","created_at":"2026-05-18T04:41:44Z"},{"alias_kind":"pith_short_12","alias_value":"OEIPGRRCYLYS","created_at":"2026-05-18T12:26:12Z"},{"alias_kind":"pith_short_16","alias_value":"OEIPGRRCYLYSGHDQ","created_at":"2026-05-18T12:26:12Z"},{"alias_kind":"pith_short_8","alias_value":"OEIPGRRC","created_at":"2026-05-18T12:26:12Z"}],"graph_snapshots":[{"event_id":"sha256:a5d120d3db82145948a782163596d17075380b68672d0cd67815e109c6d60d38","target":"graph","created_at":"2026-05-18T04:41:44Z","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 order to avoid the state space explosion problem encountered in the quantitative analysis of large scale PEPA models, a fluid approximation approach has recently been proposed, which results in a set of ordinary differential equations (ODEs) to approximate the underlying continuous time Markov chain (CTMC). This paper presents a mapping semantics from PEPA to ODEs based on a numerical representation scheme, which extends the class of PEPA models that can be subjected to fluid approximation. Furthermore, we have established the fundamental characteristics of the derived ODEs, such as the exi","authors_text":"Jane Hillston, Jie Ding","cross_cats":["cs.NA","math.DS"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2010-08-26T16:09:17Z","title":"Fundamental Results on Fluid Approximations of Stochastic Process Algebra Models"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1008.4754","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:7b993e8a31914638d761d02086f4b765c55200387800fe1070ed466e301a5984","target":"record","created_at":"2026-05-18T04:41:44Z","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":"9fa64fb09273a1264636dcc1e9878243cf00c7e953e038006c626da9aeff4955","cross_cats_sorted":["cs.NA","math.DS"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2010-08-26T16:09:17Z","title_canon_sha256":"af92d500014e3d0ee36aafa975e72d193b72a9023d9d23891f6be66ab676edde"},"schema_version":"1.0","source":{"id":"1008.4754","kind":"arxiv","version":1}},"canonical_sha256":"7110f34622c2f1231c7055dd4ea772d677962a3d8ed0ebfb4ce2ee7e68b1b559","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"7110f34622c2f1231c7055dd4ea772d677962a3d8ed0ebfb4ce2ee7e68b1b559","first_computed_at":"2026-05-18T04:41:44.405109Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T04:41:44.405109Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"W/wpSwRzDJ4+GlTHd8c2F29cc0ePWFRyODsIAK5fz04iPqL/PEbyH4c7BzPTXFD/pT2HqYM9ZkSjnX+A068GBw==","signature_status":"signed_v1","signed_at":"2026-05-18T04:41:44.405592Z","signed_message":"canonical_sha256_bytes"},"source_id":"1008.4754","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:7b993e8a31914638d761d02086f4b765c55200387800fe1070ed466e301a5984","sha256:a5d120d3db82145948a782163596d17075380b68672d0cd67815e109c6d60d38"],"state_sha256":"7fbc1d61e31fffac20cfa2ce380761b7a02192b942d5e74f424c57fbf9fbd701"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Xq/Y+G4w10JPFcfSdkDDFAO9pJkoFLjANoIOHEMC+AKDJgiS8CRMUBIDdum2pd2hzYoePpTipPHDSLLwLHJwCQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-31T06:10:35.361168Z","bundle_sha256":"aca6c990810a20cdce20a5cd976e120ed3e45263708a7827ed8df2fc8745d358"}}