{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2010:NYOV3QFX6VGOLGHTD2IPBGZ5WY","short_pith_number":"pith:NYOV3QFX","canonical_record":{"source":{"id":"1012.3040","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2010-12-13T05:43:51Z","cross_cats_sorted":[],"title_canon_sha256":"85c6a91e706127dc640d1d41c6cc59b747b504cca93112d865a56262f57b1462","abstract_canon_sha256":"6eaca67a9fbb36ba494b59dd40b3276c7054dfa21e52b852efecaf07abb745d6"},"schema_version":"1.0"},"canonical_sha256":"6e1d5dc0b7f54ce598f31e90f09b3db63c0da54115c2ade4bafd2d0d2f67e71b","source":{"kind":"arxiv","id":"1012.3040","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1012.3040","created_at":"2026-05-18T04:33:18Z"},{"alias_kind":"arxiv_version","alias_value":"1012.3040v1","created_at":"2026-05-18T04:33:18Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1012.3040","created_at":"2026-05-18T04:33:18Z"},{"alias_kind":"pith_short_12","alias_value":"NYOV3QFX6VGO","created_at":"2026-05-18T12:26:12Z"},{"alias_kind":"pith_short_16","alias_value":"NYOV3QFX6VGOLGHT","created_at":"2026-05-18T12:26:12Z"},{"alias_kind":"pith_short_8","alias_value":"NYOV3QFX","created_at":"2026-05-18T12:26:12Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2010:NYOV3QFX6VGOLGHTD2IPBGZ5WY","target":"record","payload":{"canonical_record":{"source":{"id":"1012.3040","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2010-12-13T05:43:51Z","cross_cats_sorted":[],"title_canon_sha256":"85c6a91e706127dc640d1d41c6cc59b747b504cca93112d865a56262f57b1462","abstract_canon_sha256":"6eaca67a9fbb36ba494b59dd40b3276c7054dfa21e52b852efecaf07abb745d6"},"schema_version":"1.0"},"canonical_sha256":"6e1d5dc0b7f54ce598f31e90f09b3db63c0da54115c2ade4bafd2d0d2f67e71b","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T04:33:18.792620Z","signature_b64":"E11WBeKXMB4ZRcMQoqqkkqHARMd4OhXGqBnbqh6Sveuc6Bgoq9T7U4PpdsFeaXVze/bcxMGs8MXavn3oRg9oCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"6e1d5dc0b7f54ce598f31e90f09b3db63c0da54115c2ade4bafd2d0d2f67e71b","last_reissued_at":"2026-05-18T04:33:18.791982Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T04:33:18.791982Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1012.3040","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:33:18Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"vrbRjliTzngHIWzCLwnv9qDYwbDOLmuXIhnvQ8lqYCC95MDvnI4V3yuvfGyHP45hko0Wq81KYRmv2rf9ynQPCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-31T07:13:04.964007Z"},"content_sha256":"18180d580b513a46827784f54bd31c57d64c929b81e939b37bc4148e057b5adc","schema_version":"1.0","event_id":"sha256:18180d580b513a46827784f54bd31c57d64c929b81e939b37bc4148e057b5adc"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2010:NYOV3QFX6VGOLGHTD2IPBGZ5WY","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Numerically Representing A Stochastic Process Algebra","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Jane Hillston, Jie Ding","submitted_at":"2010-12-13T05:43:51Z","abstract_excerpt":"The syntactic nature and compositionality characteristic of stochastic process algebras make models to be easily understood by human beings, but not convenient for machines as well as people to directly carry out mathematical analysis and stochastic simulation. This paper presents a numerical representation schema for the stochastic process algebra PEPA, which can provide a platform to directly and conveniently employ a variety of computational approaches to both qualitatively and quantitatively analyse the models. Moreover, these approaches developed on the basis of the schema are demonstrate"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1012.3040","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:33:18Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"YdT5usxl3LJpsFRmqEtRIsGBeOpRs3LejJ69wZ/i73dRuIN+OKmDT5/tDdxzOIc9pyWRPOUMsHj0FV5XmZdjAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-31T07:13:04.964789Z"},"content_sha256":"f76d697895a684b6c334fb4f89c8ac6e0b75b11d528206f145021a00a3898d77","schema_version":"1.0","event_id":"sha256:f76d697895a684b6c334fb4f89c8ac6e0b75b11d528206f145021a00a3898d77"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/NYOV3QFX6VGOLGHTD2IPBGZ5WY/bundle.json","state_url":"https://pith.science/pith/NYOV3QFX6VGOLGHTD2IPBGZ5WY/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/NYOV3QFX6VGOLGHTD2IPBGZ5WY/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-31T07:13:04Z","links":{"resolver":"https://pith.science/pith/NYOV3QFX6VGOLGHTD2IPBGZ5WY","bundle":"https://pith.science/pith/NYOV3QFX6VGOLGHTD2IPBGZ5WY/bundle.json","state":"https://pith.science/pith/NYOV3QFX6VGOLGHTD2IPBGZ5WY/state.json","well_known_bundle":"https://pith.science/.well-known/pith/NYOV3QFX6VGOLGHTD2IPBGZ5WY/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2010:NYOV3QFX6VGOLGHTD2IPBGZ5WY","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":"6eaca67a9fbb36ba494b59dd40b3276c7054dfa21e52b852efecaf07abb745d6","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2010-12-13T05:43:51Z","title_canon_sha256":"85c6a91e706127dc640d1d41c6cc59b747b504cca93112d865a56262f57b1462"},"schema_version":"1.0","source":{"id":"1012.3040","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1012.3040","created_at":"2026-05-18T04:33:18Z"},{"alias_kind":"arxiv_version","alias_value":"1012.3040v1","created_at":"2026-05-18T04:33:18Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1012.3040","created_at":"2026-05-18T04:33:18Z"},{"alias_kind":"pith_short_12","alias_value":"NYOV3QFX6VGO","created_at":"2026-05-18T12:26:12Z"},{"alias_kind":"pith_short_16","alias_value":"NYOV3QFX6VGOLGHT","created_at":"2026-05-18T12:26:12Z"},{"alias_kind":"pith_short_8","alias_value":"NYOV3QFX","created_at":"2026-05-18T12:26:12Z"}],"graph_snapshots":[{"event_id":"sha256:f76d697895a684b6c334fb4f89c8ac6e0b75b11d528206f145021a00a3898d77","target":"graph","created_at":"2026-05-18T04:33:18Z","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":"The syntactic nature and compositionality characteristic of stochastic process algebras make models to be easily understood by human beings, but not convenient for machines as well as people to directly carry out mathematical analysis and stochastic simulation. This paper presents a numerical representation schema for the stochastic process algebra PEPA, which can provide a platform to directly and conveniently employ a variety of computational approaches to both qualitatively and quantitatively analyse the models. Moreover, these approaches developed on the basis of the schema are demonstrate","authors_text":"Jane Hillston, Jie Ding","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2010-12-13T05:43:51Z","title":"Numerically Representing A Stochastic Process Algebra"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1012.3040","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:18180d580b513a46827784f54bd31c57d64c929b81e939b37bc4148e057b5adc","target":"record","created_at":"2026-05-18T04:33:18Z","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":"6eaca67a9fbb36ba494b59dd40b3276c7054dfa21e52b852efecaf07abb745d6","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2010-12-13T05:43:51Z","title_canon_sha256":"85c6a91e706127dc640d1d41c6cc59b747b504cca93112d865a56262f57b1462"},"schema_version":"1.0","source":{"id":"1012.3040","kind":"arxiv","version":1}},"canonical_sha256":"6e1d5dc0b7f54ce598f31e90f09b3db63c0da54115c2ade4bafd2d0d2f67e71b","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"6e1d5dc0b7f54ce598f31e90f09b3db63c0da54115c2ade4bafd2d0d2f67e71b","first_computed_at":"2026-05-18T04:33:18.791982Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T04:33:18.791982Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"E11WBeKXMB4ZRcMQoqqkkqHARMd4OhXGqBnbqh6Sveuc6Bgoq9T7U4PpdsFeaXVze/bcxMGs8MXavn3oRg9oCg==","signature_status":"signed_v1","signed_at":"2026-05-18T04:33:18.792620Z","signed_message":"canonical_sha256_bytes"},"source_id":"1012.3040","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:18180d580b513a46827784f54bd31c57d64c929b81e939b37bc4148e057b5adc","sha256:f76d697895a684b6c334fb4f89c8ac6e0b75b11d528206f145021a00a3898d77"],"state_sha256":"98ad43de86e1ea2f76f2f080f0525dac9b65d9840812f271f02091be15795415"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"CCemqX1IEZfRR+BrVqyZ4lZ/WDwVtXuG5RDUnm0S31Ml56rHog4zHXHFfcmpGoJ/JWK1WiLp/2v2KSLRmcB0BQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-31T07:13:04.967953Z","bundle_sha256":"103fc6bb2a6eac4a2a6c5c88a7aa4a8dd0a1dbdefff30c7e60d95e743ac0c229"}}