{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2012:PMCHEXLDHSONU7A5LG65PUMEFM","short_pith_number":"pith:PMCHEXLD","schema_version":"1.0","canonical_sha256":"7b04725d633c9cda7c1d59bdd7d1842b20e900eabb9aa04e6d50c93335cfd17b","source":{"kind":"arxiv","id":"1207.0873","version":1},"attestation_state":"computed","paper":{"title":"Hybrid performance modelling of opportunistic networks","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO","cs.NI","cs.PF"],"primary_cat":"cs.SY","authors_text":"Jane Hillston (University of Edinburgh), Luca Bortolussi (University of Trieste), Vashti Galpin (University of Edinburgh)","submitted_at":"2012-07-04T01:25:04Z","abstract_excerpt":"We demonstrate the modelling of opportunistic networks using the process algebra stochastic HYPE. Network traffic is modelled as continuous flows, contact between nodes in the network is modelled stochastically, and instantaneous decisions are modelled as discrete events. Our model describes a network of stationary video sensors with a mobile ferry which collects data from the sensors and delivers it to the base station. We consider different mobility models and different buffer sizes for the ferries. This case study illustrates the flexibility and expressive power of stochastic HYPE. We also "},"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":"1207.0873","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2012-07-04T01:25:04Z","cross_cats_sorted":["cs.LO","cs.NI","cs.PF"],"title_canon_sha256":"b894976c8829b38832f10be4803ac7d31bddcab675c4050abdf1f007d519c71e","abstract_canon_sha256":"9f5b0ab70142884ed1110a7816bca955cfbb4d0479fdea039b797689b8db0ef4"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:51:48.138885Z","signature_b64":"l75qajH6zbCOsQ1fVltC/RGcUOXbuAkCDGA5Z8BJUQUfzpf2BA0h50+qjUwDLfSyvJ2jQuNluaD3GDheeUK2BQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"7b04725d633c9cda7c1d59bdd7d1842b20e900eabb9aa04e6d50c93335cfd17b","last_reissued_at":"2026-05-18T03:51:48.138349Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:51:48.138349Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Hybrid performance modelling of opportunistic networks","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO","cs.NI","cs.PF"],"primary_cat":"cs.SY","authors_text":"Jane Hillston (University of Edinburgh), Luca Bortolussi (University of Trieste), Vashti Galpin (University of Edinburgh)","submitted_at":"2012-07-04T01:25:04Z","abstract_excerpt":"We demonstrate the modelling of opportunistic networks using the process algebra stochastic HYPE. Network traffic is modelled as continuous flows, contact between nodes in the network is modelled stochastically, and instantaneous decisions are modelled as discrete events. Our model describes a network of stationary video sensors with a mobile ferry which collects data from the sensors and delivers it to the base station. We consider different mobility models and different buffer sizes for the ferries. This case study illustrates the flexibility and expressive power of stochastic HYPE. We also "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1207.0873","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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1207.0873","created_at":"2026-05-18T03:51:48.138438+00:00"},{"alias_kind":"arxiv_version","alias_value":"1207.0873v1","created_at":"2026-05-18T03:51:48.138438+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1207.0873","created_at":"2026-05-18T03:51:48.138438+00:00"},{"alias_kind":"pith_short_12","alias_value":"PMCHEXLDHSON","created_at":"2026-05-18T12:27:18.751474+00:00"},{"alias_kind":"pith_short_16","alias_value":"PMCHEXLDHSONU7A5","created_at":"2026-05-18T12:27:18.751474+00:00"},{"alias_kind":"pith_short_8","alias_value":"PMCHEXLD","created_at":"2026-05-18T12:27:18.751474+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/PMCHEXLDHSONU7A5LG65PUMEFM","json":"https://pith.science/pith/PMCHEXLDHSONU7A5LG65PUMEFM.json","graph_json":"https://pith.science/api/pith-number/PMCHEXLDHSONU7A5LG65PUMEFM/graph.json","events_json":"https://pith.science/api/pith-number/PMCHEXLDHSONU7A5LG65PUMEFM/events.json","paper":"https://pith.science/paper/PMCHEXLD"},"agent_actions":{"view_html":"https://pith.science/pith/PMCHEXLDHSONU7A5LG65PUMEFM","download_json":"https://pith.science/pith/PMCHEXLDHSONU7A5LG65PUMEFM.json","view_paper":"https://pith.science/paper/PMCHEXLD","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1207.0873&json=true","fetch_graph":"https://pith.science/api/pith-number/PMCHEXLDHSONU7A5LG65PUMEFM/graph.json","fetch_events":"https://pith.science/api/pith-number/PMCHEXLDHSONU7A5LG65PUMEFM/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/PMCHEXLDHSONU7A5LG65PUMEFM/action/timestamp_anchor","attest_storage":"https://pith.science/pith/PMCHEXLDHSONU7A5LG65PUMEFM/action/storage_attestation","attest_author":"https://pith.science/pith/PMCHEXLDHSONU7A5LG65PUMEFM/action/author_attestation","sign_citation":"https://pith.science/pith/PMCHEXLDHSONU7A5LG65PUMEFM/action/citation_signature","submit_replication":"https://pith.science/pith/PMCHEXLDHSONU7A5LG65PUMEFM/action/replication_record"}},"created_at":"2026-05-18T03:51:48.138438+00:00","updated_at":"2026-05-18T03:51:48.138438+00:00"}