On the public citation graph
Timed process algebras with urgent interactions and a unique powerful binary operator
0 signed · 41 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-10235-3openalex-snapshot
A Calculus of Communicating Systems
inferredcites →https://doi.org/10.1007/3-540-16761-7_81openalex-snapshot
A timed model for communicating sequential processes
inferredcites →https://doi.org/10.1007/978-3-642-70285-3_35openalex-snapshot
Time in Formal Protocol Specifications
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/0169-7552(87)90085-7openalex-snapshot
Introduction to the ISO specification language LOTOS
inferredcites →https://doi.org/10.1016/0304-3975(77)90014-7openalex-snapshot
Complexity of some problems in Petri nets
inferredcites →https://doi.org/10.1016/0304-3975(83)90114-7openalex-snapshot
Calculi for synchrony and asynchrony
inferredcites →https://doi.org/10.1016/s0019-9958(84)80025-xopenalex-snapshot
Process algebra for synchronous communication
inferredcites →https://doi.org/10.1109/real.1990.128759openalex-snapshot
A calculus for communicating systems with time and probabilities
inferredcites →https://doi.org/10.1109/tcom.1976.1093424openalex-snapshot
Recoverability of Communication Protocols--Implications of a Theoretical Study
inferredcites →https://doi.org/10.2307/1970290openalex-snapshot
Recursive Unsolvability of Post's Problem of "Tag" and other Topics in Theory of Turing Machines
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-57880-3_4openalex-snapshot
An asynchronous process algebra with multiple clocks
inferred← citeshttps://doi.org/10.1007/3-540-60922-9_29openalex-snapshot
Compositional specification of timed systems
inferred← citeshttps://doi.org/10.1007/3-540-61648-9_37openalex-snapshot
A calculus for timed automata
inferred← citeshttps://doi.org/10.1007/3-540-63010-4_10openalex-snapshot
Regular processes and timed automata
inferred← citeshttps://doi.org/10.1007/978-1-4471-3227-1_6openalex-snapshot
Rigorous specification of real-time systems
inferred← citeshttps://doi.org/10.1007/978-3-540-39884-4_17openalex-snapshot
Testing Protocol Robustness
inferred← citeshttps://doi.org/10.1007/978-3-540-48654-1_32openalex-snapshot
A congruence theorem for structured operational semantics with predicates and negative premises
inferred← citeshttps://doi.org/10.1007/978-3-540-71493-4_45openalex-snapshot
Foundations of a Compositional Interchange Format for Hybrid Systems
inferred← citeshttps://doi.org/10.1007/978-3-662-04293-9_9openalex-snapshot
Structural Operational Semantics
inferred← citeshttps://doi.org/10.1007/s001650050015openalex-snapshot
A Formal Definition of Time in LOTOS
inferred← citeshttps://doi.org/10.1007/s00236-003-0135-6openalex-snapshot
Timed automata with urgent transitions
inferred← citeshttps://doi.org/10.1016/0920-5489(94)90002-7openalex-snapshot
Converging towards a timed LOTOS standard
inferred← citeshttps://doi.org/10.1016/b978-0-444-89402-1.50027-8openalex-snapshot
LOTOS-like process algebras with urgent or timed interactions
inferred← citeshttps://doi.org/10.1016/j.jlap.2004.03.002openalex-snapshot
Process languages with discrete relative time based on the Ordered SOS format and rooted eager bisimulation
inferred← citeshttps://doi.org/10.1016/s0167-6423(96)00016-0openalex-snapshot
Timewise refinement for communicating processes
inferred← citeshttps://doi.org/10.1016/s0920-5489(02)00066-1openalex-snapshot
Evaluating real-time software specification languages
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/ic:19980529openalex-snapshot
Modelling and analysis of broadcasting embedded control systems
inferred← citeshttps://doi.org/10.1109/apsec.1997.640204openalex-snapshot
TPAL: a timed-probabilistic model for concurrent processes
inferred← citeshttps://doi.org/10.1109/apsec.2001.991460openalex-snapshot
Automatic translation of a timed process algebra into dynamic state graphs
inferred← citeshttps://doi.org/10.1109/aswec.2005.33openalex-snapshot
Obtaining Probabilistic Dynamic State Graphs for TPPAL Processes
inferred← citeshttps://doi.org/10.1109/emwrts.1994.336838openalex-snapshot
Relating specified time tolerances to implementation performances
inferred← citeshttps://doi.org/10.1145/174634.174636openalex-snapshot
Object-oriented logical specification of time-critical systems
inferred← citeshttps://doi.org/10.3990/1.9789036507998openalex-snapshot
Quantitative and Qualitative Extensions of Event Structures
inferred← citeshttps://doi.org/10.7146/brics.v6i24.20093openalex-snapshot
Conservative Extension in Structural Operational Semantics
inferred← citeshttps://doi.org/10.7146/brics.v6i30.20099openalex-snapshot
Structural Operational Semantics
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.