On the public citation graph

An embedding of Timed Transition Systems in HOL

https://doi.org/10.1007/bf01383987
0 signed · 21 inferred · view as graph

Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.

Is this your work? Sign in with ORCID and put your name on the claims that are yours.
Claim with ORCID
Reference health. See whether every reference in this work resolves to a known work and none has been retracted — and get a dated CiteStamped badge you can embed.
See reference health

What this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1007/bfb0031995openalex-snapshot
Timed transition systems
inferredcites →https://doi.org/10.1016/b978-0-444-89880-7.50011-5openalex-snapshot
A Sequent Formulation of a Logic of Predicates in HOL
inferredcites →https://doi.org/10.1016/b978-0-444-89880-7.50016-4openalex-snapshot
Constructing the real numbers in HOL
inferredcites →https://doi.org/10.1145/142868.143760openalex-snapshot
Real theorem provers deserve real user-interfaces
inferredcites →https://doi.org/10.1145/99583.99629openalex-snapshot
Temporal proof methodologies for real-time systems
inferredcites →https://doi.org/10.48456/tr-248openalex-snapshot
On efficiency in theorem provers which fully expand proofs into primitive inferences

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.1007/3-540-48778-6_19openalex-snapshot
Proof Assistance for Real-Time Systems Using an Interactive Theorem Prover
inferred← citeshttps://doi.org/10.1007/3-540-58468-4_189openalex-snapshot
Towards a duration calculus proof assistant in PVS
inferred← citeshttps://doi.org/10.1007/3-540-58867-1_47openalex-snapshot
Comparative survey
inferred← citeshttps://doi.org/10.1007/3-540-58867-1_59openalex-snapshot
HTTDs and HOL
inferred← citeshttps://doi.org/10.1007/978-1-4471-0851-1_1openalex-snapshot
A Common Framework for Mixed Hardware/Software Systems
inferred← citeshttps://doi.org/10.1007/978-3-030-00856-7_26openalex-snapshot
Mechanizing the Denotational Semantics of the Clock Constraint Specification Language
inferred← citeshttps://doi.org/10.1007/978-3-030-57628-8_2openalex-snapshot
On the Semantics of Polychronous Polytimed Specifications
inferred← citeshttps://doi.org/10.1007/978-3-642-40229-6_8openalex-snapshot
A Mechanized Semantic Framework for Real-Time Systems
inferred← citeshttps://doi.org/10.1016/b978-0-444-89901-9.50024-0openalex-snapshot
Bibliography
inferred← citeshttps://doi.org/10.1016/s0304-3975(01)00045-7openalex-snapshot
Proof assistance for real-time systems using an interactive theorem prover
inferred← citeshttps://doi.org/10.1109/jsyst.2008.2009190openalex-snapshot
A Visual Tradeoff Space for Formal Verification and Validation Techniques
inferred← citeshttps://doi.org/10.1145/267895.267912openalex-snapshot
Providing automated support to deductive analysis of time critical systems
inferred← citeshttps://doi.org/10.4204/eptcs.282.3openalex-snapshot
Ordering Strict Partial Orders to Model Behavioral Refinement
inferred← citeshttps://doi.org/10.70675/14b92255zafc9z4dcczb918z9b027d3ef2dfopenalex-snapshot
A formal framework for heterogeneous systems semantics
inferred← citeshttps://doi.org/10.70675/bad97f53z122fz46e9za942z0fbe90257c10openalex-snapshot
Formalizing Time and Causality in Polychronous Polytimed Models
Editorial review for independent work. ICSAC — the Institute for Complexity Science and Advanced Computing — runs a structured editorial panel for researchers publishing outside journals, and publishes on CiteStamp rails. Submission is free and goes through ORCID: icsacinstitute.org/submit.