{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:XZTEUHSHQ3RGQBISMREB22N4BD","short_pith_number":"pith:XZTEUHSH","canonical_record":{"source":{"id":"1712.10213","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-12-29T13:09:25Z","cross_cats_sorted":["cs.FL"],"title_canon_sha256":"5d2a49dc527e9db46fddb0cc1b1d7c8cf678a052bcf5d5a7c2b0a20602a85361","abstract_canon_sha256":"6ff8733547317aafdee4c0e628d06dacce555a768af565b417c9e1328687b103"},"schema_version":"1.0"},"canonical_sha256":"be664a1e4786e268051264481d69bc08c687ab670d8b589edbc41d9be0512885","source":{"kind":"arxiv","id":"1712.10213","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1712.10213","created_at":"2026-05-18T00:19:16Z"},{"alias_kind":"arxiv_version","alias_value":"1712.10213v2","created_at":"2026-05-18T00:19:16Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1712.10213","created_at":"2026-05-18T00:19:16Z"},{"alias_kind":"pith_short_12","alias_value":"XZTEUHSHQ3RG","created_at":"2026-05-18T12:31:56Z"},{"alias_kind":"pith_short_16","alias_value":"XZTEUHSHQ3RGQBIS","created_at":"2026-05-18T12:31:56Z"},{"alias_kind":"pith_short_8","alias_value":"XZTEUHSH","created_at":"2026-05-18T12:31:56Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:XZTEUHSHQ3RGQBISMREB22N4BD","target":"record","payload":{"canonical_record":{"source":{"id":"1712.10213","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-12-29T13:09:25Z","cross_cats_sorted":["cs.FL"],"title_canon_sha256":"5d2a49dc527e9db46fddb0cc1b1d7c8cf678a052bcf5d5a7c2b0a20602a85361","abstract_canon_sha256":"6ff8733547317aafdee4c0e628d06dacce555a768af565b417c9e1328687b103"},"schema_version":"1.0"},"canonical_sha256":"be664a1e4786e268051264481d69bc08c687ab670d8b589edbc41d9be0512885","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:19:16.599937Z","signature_b64":"OC+LjXL8Ys1wMoWEwDGPv2yD1pP85aDJb3d3P4ATpeN6KKLgfMXYRBav61wA3gnhOPOkMx9u+QSLYY5U+7SWDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"be664a1e4786e268051264481d69bc08c687ab670d8b589edbc41d9be0512885","last_reissued_at":"2026-05-18T00:19:16.599349Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:19:16.599349Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1712.10213","source_version":2,"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-18T00:19:16Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"qHskecHYMQXT9sYZ3Hc2IDhAvS1j/SHhO3OhMOeLGJqPhQ3v0gujOOr6+Enqr7Fu4FEzs8o4EYAH/nFU+ng5Aw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-28T16:52:28.591178Z"},"content_sha256":"f8c3d7e1989caea05c01817f0a4ddb693d17645fbe6494afcc021c3d22faf620","schema_version":"1.0","event_id":"sha256:f8c3d7e1989caea05c01817f0a4ddb693d17645fbe6494afcc021c3d22faf620"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:XZTEUHSHQ3RGQBISMREB22N4BD","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Unifying Theories of Time with Generalised Reactive Processes","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.FL"],"primary_cat":"cs.LO","authors_text":"Ana Cavalcanti, Frank Zeyda, Jim Woodcock, Simon Foster","submitted_at":"2017-12-29T13:09:25Z","abstract_excerpt":"Hoare and He's theory of reactive processes provides a unifying foundation for the formal semantics of concurrent and reactive languages. Though highly applicable, their theory is limited to models that can express event histories as discrete sequences. In this paper, we show how their theory can be generalised by using an abstract trace algebra. We show how the algebra, notably, allows us to also consider continuous-time traces and thereby facilitate models of hybrid systems. We then use this algebra to reconstruct the theory of reactive processes in our generic setting, and prove characteris"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1712.10213","kind":"arxiv","version":2},"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-18T00:19:16Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"HBgKSQRYbpMU9ziZb5AAOvnYY4Dz4cV1pw8kwOaErr7yWp+9dRMwPXTGpLPI324dbUuuNFakoFsZXnldzFGyCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-28T16:52:28.591905Z"},"content_sha256":"18febb81268b4ed3d971087e5e9897b6b45ae7dd1a5c025ec0236649201ef82b","schema_version":"1.0","event_id":"sha256:18febb81268b4ed3d971087e5e9897b6b45ae7dd1a5c025ec0236649201ef82b"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/XZTEUHSHQ3RGQBISMREB22N4BD/bundle.json","state_url":"https://pith.science/pith/XZTEUHSHQ3RGQBISMREB22N4BD/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/XZTEUHSHQ3RGQBISMREB22N4BD/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-28T16:52:28Z","links":{"resolver":"https://pith.science/pith/XZTEUHSHQ3RGQBISMREB22N4BD","bundle":"https://pith.science/pith/XZTEUHSHQ3RGQBISMREB22N4BD/bundle.json","state":"https://pith.science/pith/XZTEUHSHQ3RGQBISMREB22N4BD/state.json","well_known_bundle":"https://pith.science/.well-known/pith/XZTEUHSHQ3RGQBISMREB22N4BD/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:XZTEUHSHQ3RGQBISMREB22N4BD","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":"6ff8733547317aafdee4c0e628d06dacce555a768af565b417c9e1328687b103","cross_cats_sorted":["cs.FL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-12-29T13:09:25Z","title_canon_sha256":"5d2a49dc527e9db46fddb0cc1b1d7c8cf678a052bcf5d5a7c2b0a20602a85361"},"schema_version":"1.0","source":{"id":"1712.10213","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1712.10213","created_at":"2026-05-18T00:19:16Z"},{"alias_kind":"arxiv_version","alias_value":"1712.10213v2","created_at":"2026-05-18T00:19:16Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1712.10213","created_at":"2026-05-18T00:19:16Z"},{"alias_kind":"pith_short_12","alias_value":"XZTEUHSHQ3RG","created_at":"2026-05-18T12:31:56Z"},{"alias_kind":"pith_short_16","alias_value":"XZTEUHSHQ3RGQBIS","created_at":"2026-05-18T12:31:56Z"},{"alias_kind":"pith_short_8","alias_value":"XZTEUHSH","created_at":"2026-05-18T12:31:56Z"}],"graph_snapshots":[{"event_id":"sha256:18febb81268b4ed3d971087e5e9897b6b45ae7dd1a5c025ec0236649201ef82b","target":"graph","created_at":"2026-05-18T00:19:16Z","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":"Hoare and He's theory of reactive processes provides a unifying foundation for the formal semantics of concurrent and reactive languages. Though highly applicable, their theory is limited to models that can express event histories as discrete sequences. In this paper, we show how their theory can be generalised by using an abstract trace algebra. We show how the algebra, notably, allows us to also consider continuous-time traces and thereby facilitate models of hybrid systems. We then use this algebra to reconstruct the theory of reactive processes in our generic setting, and prove characteris","authors_text":"Ana Cavalcanti, Frank Zeyda, Jim Woodcock, Simon Foster","cross_cats":["cs.FL"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-12-29T13:09:25Z","title":"Unifying Theories of Time with Generalised Reactive Processes"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1712.10213","kind":"arxiv","version":2},"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:f8c3d7e1989caea05c01817f0a4ddb693d17645fbe6494afcc021c3d22faf620","target":"record","created_at":"2026-05-18T00:19:16Z","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":"6ff8733547317aafdee4c0e628d06dacce555a768af565b417c9e1328687b103","cross_cats_sorted":["cs.FL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-12-29T13:09:25Z","title_canon_sha256":"5d2a49dc527e9db46fddb0cc1b1d7c8cf678a052bcf5d5a7c2b0a20602a85361"},"schema_version":"1.0","source":{"id":"1712.10213","kind":"arxiv","version":2}},"canonical_sha256":"be664a1e4786e268051264481d69bc08c687ab670d8b589edbc41d9be0512885","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"be664a1e4786e268051264481d69bc08c687ab670d8b589edbc41d9be0512885","first_computed_at":"2026-05-18T00:19:16.599349Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:19:16.599349Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"OC+LjXL8Ys1wMoWEwDGPv2yD1pP85aDJb3d3P4ATpeN6KKLgfMXYRBav61wA3gnhOPOkMx9u+QSLYY5U+7SWDw==","signature_status":"signed_v1","signed_at":"2026-05-18T00:19:16.599937Z","signed_message":"canonical_sha256_bytes"},"source_id":"1712.10213","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:f8c3d7e1989caea05c01817f0a4ddb693d17645fbe6494afcc021c3d22faf620","sha256:18febb81268b4ed3d971087e5e9897b6b45ae7dd1a5c025ec0236649201ef82b"],"state_sha256":"cd3725d00cf19011299cc5ec5f5d877f9a63746e4663885da6d5897793d2f775"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"B3xgcoeUrWU69jCLm3TXRQNkOs1pmOequNAYui4aAbRLCY5u+GCnxjqsbE0O800tQuhTvPx9fwOFsL6KMiV0Cw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-28T16:52:28.595829Z","bundle_sha256":"2c1c04e34144084db5de556d4d3ae70120f9670ef0d4c12a0867341daeed873e"}}