On the public citation graph
Action transducers and timed automata
0 signed · 59 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.
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.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1007/3-540-55179-4_36openalex-snapshot
An overview and synthesis on timed process algebras
inferredcites →https://doi.org/10.1007/3-540-55719-9_104openalex-snapshot
Behavioural abstraction in TCCS
inferredcites →https://doi.org/10.1007/3-540-56596-5_49openalex-snapshot
Expressiveness results for process algebras
inferredcites →https://doi.org/10.1007/3-540-58201-0_66openalex-snapshot
Liveness in timed and untimed systems
inferredcites →https://doi.org/10.1007/978-1-4471-3229-5_13openalex-snapshot
Proof Theory for µCRL: A Language for Processes with Data.
inferredcites →https://doi.org/10.1007/bf01178579openalex-snapshot
From ATP to timed graphs and hybrid systems
inferredcites →https://doi.org/10.1007/bf02252683openalex-snapshot
Using mappings to prove timing properties
inferredcites →https://doi.org/10.1007/bfb0031985openalex-snapshot
An old-fashioned recipe for real time
inferredcites →https://doi.org/10.1007/bfb0032002openalex-snapshot
Forward and backward simulations for timing-based systems
inferredcites →https://doi.org/10.1007/bfb0032007openalex-snapshot
From ATP to timed graphs and hybrid systems
inferredcites →https://doi.org/10.1007/bfb0032042openalex-snapshot
Automata for modeling real-time systems
inferredcites →https://doi.org/10.1007/bfb0032056openalex-snapshot
Compositionality through an operational semantics of contexts
inferredcites →https://doi.org/10.1007/bfb0039073openalex-snapshot
A temporal calculus of communicating systems
inferredcites →https://doi.org/10.1007/bfb0039080openalex-snapshot
Real-time behaviour of asynchronous agents
inferredcites →https://doi.org/10.1016/0141-9331(86)90196-1openalex-snapshot
Communicating sequential processes
inferredcites →https://doi.org/10.1016/0167-6423(90)90076-popenalex-snapshot
Communication and concurrency
inferredcites →https://doi.org/10.1016/0304-3975(85)90093-3openalex-snapshot
Higher-level synchronising devices in Meije-SCCS
inferredcites →https://doi.org/10.1016/0304-3975(88)90030-8openalex-snapshot
A timed model for communicating sequential processes
inferredcites →https://doi.org/10.1016/0890-5401(92)90013-6openalex-snapshot
Structured operational semantics and bisimulation as a congruence
inferredcites →https://doi.org/10.1093/comjnl/37.4.259openalex-snapshot
Basic Process Algebra with Iteration: Completeness of its Equational Axioms
inferredcites →https://doi.org/10.1109/lics.1991.151662openalex-snapshot
On the relationship between process algebra and input/output automata
inferredcites →https://doi.org/10.1145/186025.186058openalex-snapshot
An old-fashioned recipe for real time
inferredcites →https://doi.org/10.1145/3318.3322openalex-snapshot
CIRCAL and the representation of communication, concurrency, and time
inferredcites →https://doi.org/10.1145/41840.41852openalex-snapshot
Hierarchical correctness proofs for distributed algorithms
inferredcites →https://doi.org/10.1515/9781400882618-002openalex-snapshot
Representation of Events in Nerve Nets and Finite Automata
inferredcites →https://doi.org/10.6100/ir408754openalex-snapshot
Models and axioms for a fragment of real time process algebra
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1006/inco.1997.2671openalex-snapshot
Liveness in Timed and Untimed Systems
inferred← citeshttps://doi.org/10.1007/3-540-45351-2_33openalex-snapshot
Hybrid I/O Automata Revisited
inferred← citeshttps://doi.org/10.1007/3-540-57208-2_29openalex-snapshot
ACSR: An algebra of communicating shared resources with dense time and priorities
inferred← citeshttps://doi.org/10.1007/3-540-58201-0_66openalex-snapshot
Liveness in timed and untimed systems
inferred← citeshttps://doi.org/10.1007/3-540-58468-4_165openalex-snapshot
Verification of an audio control protocol
inferred← citeshttps://doi.org/10.1007/3-540-60045-0_64openalex-snapshot
Automated analysis of an audio control protocol
inferred← citeshttps://doi.org/10.1007/3-540-60218-6_39openalex-snapshot
CTR: A calculus of timed refinement
inferred← citeshttps://doi.org/10.1007/3-540-60472-3_14openalex-snapshot
HyTech: The Cornell Hybrid Technology Tool
inferred← citeshttps://doi.org/10.1007/978-3-540-48654-1_16openalex-snapshot
The Observational Power of Clocks
inferred← citeshttps://doi.org/10.1007/bfb0020967openalex-snapshot
Modelling and verification of automated transit systems, using timed automata, invariants and simulations
inferred← citeshttps://doi.org/10.1007/bfb0032002openalex-snapshot
Forward and backward simulations for timing-based systems
inferred← citeshttps://doi.org/10.1007/s100090050007openalex-snapshot
Real-time system = discrete system + clock variables
inferred← citeshttps://doi.org/10.1007/s10703-013-0193-5openalex-snapshot
Modelling temporal behaviour in complex systems with Timebands
inferred← citeshttps://doi.org/10.1016/s0304-3975(96)00229-0openalex-snapshot
A process algebra of communicating shared resources with dense time and priorities
inferred← citeshttps://doi.org/10.1016/s0950-7051(01)00151-4openalex-snapshot
Specifying fault tolerance in mission critical intelligent systems
inferred← citeshttps://doi.org/10.1016/s1571-0661(04)00226-9openalex-snapshot
Extending Timed Automata for Compositional Modeling Healthy Timed Systems
inferred← citeshttps://doi.org/10.1023/a:1008649927166openalex-snapshot
A Consistent Causality-Based View on a Timed Process Algebra Including Urgent Interactions
inferred← citeshttps://doi.org/10.1049/ip-cta:19960768openalex-snapshot
Error specification, monitoring andrecovery in computer-integratedmanufacturing: An analytic approach
inferred← citeshttps://doi.org/10.1109/dsn.2008.4630124openalex-snapshot
A recurrence-relation-based reward model for performability evaluation of embedded systems
inferred← citeshttps://doi.org/10.1109/real.1996.563701openalex-snapshot
Correctness of vehicle control systems-a case study
inferred← citeshttps://doi.org/10.1117/12.335720openalex-snapshot
Feedback control for communication and traffic networks
inferred← citeshttps://doi.org/10.1142/9789812562494_0053openalex-snapshot
SOME OF MY FAVOURITE RESULTS IN CLASSIC PROCESS ALGEBRA
inferred← citeshttps://doi.org/10.1145/164051.164068openalex-snapshot
Designing algorithms for distributed systems with partially synchronized clocks
inferred← citeshttps://doi.org/10.1145/197917.198117openalex-snapshot
Proving time bounds for randomized distributed algorithms
inferred← citeshttps://doi.org/10.3990/1.9789036507998openalex-snapshot
Quantitative and Qualitative Extensions of Event Structures
inferred← citeshttps://doi.org/10.3990/1.9789090074610openalex-snapshot
Architectural notes: a framework for distributed systems development
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.