{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2014:DJZLSNCKQOKIBAXRKPJBTFPHIH","short_pith_number":"pith:DJZLSNCK","canonical_record":{"source":{"id":"1411.4433","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2014-11-17T11:08:17Z","cross_cats_sorted":["cs.LO","cs.PF"],"title_canon_sha256":"1977d333a29cef2ee83f810f95b9a0b0356e8f6051e820145ba0cbe262d134d6","abstract_canon_sha256":"4075fee341653195db18d7402f55b63f02ee0d20854b8306f499f64a6392c253"},"schema_version":"1.0"},"canonical_sha256":"1a72b9344a83948082f153d21995e741f68290811150c5a246b90adc4c1391c8","source":{"kind":"arxiv","id":"1411.4433","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1411.4433","created_at":"2026-05-18T02:35:45Z"},{"alias_kind":"arxiv_version","alias_value":"1411.4433v1","created_at":"2026-05-18T02:35:45Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1411.4433","created_at":"2026-05-18T02:35:45Z"},{"alias_kind":"pith_short_12","alias_value":"DJZLSNCKQOKI","created_at":"2026-05-18T12:28:25Z"},{"alias_kind":"pith_short_16","alias_value":"DJZLSNCKQOKIBAXR","created_at":"2026-05-18T12:28:25Z"},{"alias_kind":"pith_short_8","alias_value":"DJZLSNCK","created_at":"2026-05-18T12:28:25Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2014:DJZLSNCKQOKIBAXRKPJBTFPHIH","target":"record","payload":{"canonical_record":{"source":{"id":"1411.4433","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2014-11-17T11:08:17Z","cross_cats_sorted":["cs.LO","cs.PF"],"title_canon_sha256":"1977d333a29cef2ee83f810f95b9a0b0356e8f6051e820145ba0cbe262d134d6","abstract_canon_sha256":"4075fee341653195db18d7402f55b63f02ee0d20854b8306f499f64a6392c253"},"schema_version":"1.0"},"canonical_sha256":"1a72b9344a83948082f153d21995e741f68290811150c5a246b90adc4c1391c8","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:35:45.745034Z","signature_b64":"QKFjuQf/SAZ9wwZZFgvMqR4T2NvN/2qkTRC3PIumZWoR9xo1Y2ZJCaeBTt7QDBBGEzKJJKWkKyHL8siv7l97CA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"1a72b9344a83948082f153d21995e741f68290811150c5a246b90adc4c1391c8","last_reissued_at":"2026-05-18T02:35:45.744552Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:35:45.744552Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1411.4433","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-18T02:35:45Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"gjkpfVlfSSEyUWI+GcQKaouzg4JIjiMxfBeUEg+IjIB1x/MizKTJCchUPKzJirNKSqBIQ+FFgDvHjF8M+PV5DQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-28T12:16:03.281544Z"},"content_sha256":"01b831734f98678e7da05c6a6e14740c52620a470b0d8c07c0b30a6ed98bb004","schema_version":"1.0","event_id":"sha256:01b831734f98678e7da05c6a6e14740c52620a470b0d8c07c0b30a6ed98bb004"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2014:DJZLSNCKQOKIBAXRKPJBTFPHIH","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Stochastic HYPE: Flow-based modelling of stochastic hybrid systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO","cs.PF"],"primary_cat":"cs.SY","authors_text":"Jane Hillston, Luca Bortolussi, Vashti Galpin","submitted_at":"2014-11-17T11:08:17Z","abstract_excerpt":"Stochastic HYPE is a novel process algebra that models stochastic, instantaneous and continuous behaviour. It develops the flow-based approach of the hybrid process algebra HYPE by replacing non-urgent events with events with exponentially-distributed durations and also introduces random resets. The random resets allow for general stochasticity, and in particular allow for the use of event durations drawn from distributions other than the exponential distribution. To account for stochasticity, the semantics of stochastic HYPE target piecewise deterministic Markov processes (PDMPs), via interme"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1411.4433","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-18T02:35:45Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"8NZAhSeLIKkWVq/ss2zuEBpn+WpcAsOwXzZKCoEhx6dCryEklLFBikvxdyBlFJVmn38Nan/qrkvRErlAnzJgBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-28T12:16:03.281894Z"},"content_sha256":"56f95d6a15158817e6081d8d9a557778672e16c8d1c6eeba15090b1410647ad9","schema_version":"1.0","event_id":"sha256:56f95d6a15158817e6081d8d9a557778672e16c8d1c6eeba15090b1410647ad9"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/DJZLSNCKQOKIBAXRKPJBTFPHIH/bundle.json","state_url":"https://pith.science/pith/DJZLSNCKQOKIBAXRKPJBTFPHIH/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/DJZLSNCKQOKIBAXRKPJBTFPHIH/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-28T12:16:03Z","links":{"resolver":"https://pith.science/pith/DJZLSNCKQOKIBAXRKPJBTFPHIH","bundle":"https://pith.science/pith/DJZLSNCKQOKIBAXRKPJBTFPHIH/bundle.json","state":"https://pith.science/pith/DJZLSNCKQOKIBAXRKPJBTFPHIH/state.json","well_known_bundle":"https://pith.science/.well-known/pith/DJZLSNCKQOKIBAXRKPJBTFPHIH/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:DJZLSNCKQOKIBAXRKPJBTFPHIH","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":"4075fee341653195db18d7402f55b63f02ee0d20854b8306f499f64a6392c253","cross_cats_sorted":["cs.LO","cs.PF"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2014-11-17T11:08:17Z","title_canon_sha256":"1977d333a29cef2ee83f810f95b9a0b0356e8f6051e820145ba0cbe262d134d6"},"schema_version":"1.0","source":{"id":"1411.4433","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1411.4433","created_at":"2026-05-18T02:35:45Z"},{"alias_kind":"arxiv_version","alias_value":"1411.4433v1","created_at":"2026-05-18T02:35:45Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1411.4433","created_at":"2026-05-18T02:35:45Z"},{"alias_kind":"pith_short_12","alias_value":"DJZLSNCKQOKI","created_at":"2026-05-18T12:28:25Z"},{"alias_kind":"pith_short_16","alias_value":"DJZLSNCKQOKIBAXR","created_at":"2026-05-18T12:28:25Z"},{"alias_kind":"pith_short_8","alias_value":"DJZLSNCK","created_at":"2026-05-18T12:28:25Z"}],"graph_snapshots":[{"event_id":"sha256:56f95d6a15158817e6081d8d9a557778672e16c8d1c6eeba15090b1410647ad9","target":"graph","created_at":"2026-05-18T02:35:45Z","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":"Stochastic HYPE is a novel process algebra that models stochastic, instantaneous and continuous behaviour. It develops the flow-based approach of the hybrid process algebra HYPE by replacing non-urgent events with events with exponentially-distributed durations and also introduces random resets. The random resets allow for general stochasticity, and in particular allow for the use of event durations drawn from distributions other than the exponential distribution. To account for stochasticity, the semantics of stochastic HYPE target piecewise deterministic Markov processes (PDMPs), via interme","authors_text":"Jane Hillston, Luca Bortolussi, Vashti Galpin","cross_cats":["cs.LO","cs.PF"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2014-11-17T11:08:17Z","title":"Stochastic HYPE: Flow-based modelling of stochastic hybrid systems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1411.4433","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:01b831734f98678e7da05c6a6e14740c52620a470b0d8c07c0b30a6ed98bb004","target":"record","created_at":"2026-05-18T02:35:45Z","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":"4075fee341653195db18d7402f55b63f02ee0d20854b8306f499f64a6392c253","cross_cats_sorted":["cs.LO","cs.PF"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2014-11-17T11:08:17Z","title_canon_sha256":"1977d333a29cef2ee83f810f95b9a0b0356e8f6051e820145ba0cbe262d134d6"},"schema_version":"1.0","source":{"id":"1411.4433","kind":"arxiv","version":1}},"canonical_sha256":"1a72b9344a83948082f153d21995e741f68290811150c5a246b90adc4c1391c8","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"1a72b9344a83948082f153d21995e741f68290811150c5a246b90adc4c1391c8","first_computed_at":"2026-05-18T02:35:45.744552Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:35:45.744552Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"QKFjuQf/SAZ9wwZZFgvMqR4T2NvN/2qkTRC3PIumZWoR9xo1Y2ZJCaeBTt7QDBBGEzKJJKWkKyHL8siv7l97CA==","signature_status":"signed_v1","signed_at":"2026-05-18T02:35:45.745034Z","signed_message":"canonical_sha256_bytes"},"source_id":"1411.4433","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:01b831734f98678e7da05c6a6e14740c52620a470b0d8c07c0b30a6ed98bb004","sha256:56f95d6a15158817e6081d8d9a557778672e16c8d1c6eeba15090b1410647ad9"],"state_sha256":"a8867e2d33dd1a0da848b76dd8b4da14b08715e74a4497e2292d75592b0f786e"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Fw61vv0VvGQbUN3+ALvdY94l11iexvLr5T1adKfHT2T02Nie8nD07LY7p3ueNfUVwflGl3Xh+gXl+pc3r7vlCA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-28T12:16:03.283964Z","bundle_sha256":"7f7bfbafc029d49a7e799ec872e396a95a4976c4b58ac498adf11d6baf0b2da5"}}