On the public citation graph

An interleaving model for real-time systems

https://doi.org/10.1007/bfb0023865
0 signed · 52 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/3-540-16761-7_81openalex-snapshot
A timed model for communicating sequential processes
inferredcites →https://doi.org/10.1007/3-540-19129-1_4openalex-snapshot
Unification Revisited
inferredcites →https://doi.org/10.1007/3-540-54233-7_136openalex-snapshot
CCS + time = an interleaving model for real time systems
inferredcites →https://doi.org/10.1007/978-3-642-83189-8openalex-snapshot
Foundations of Logic Programming
inferredcites →https://doi.org/10.1007/978-3-642-96826-6openalex-snapshot
Foundations of Logic Programming
inferredcites →https://doi.org/10.1007/bf03037324openalex-snapshot
The occur-check problem in Prolog
inferredcites →https://doi.org/10.1007/bfb0039080openalex-snapshot
Real-time behaviour of asynchronous agents
inferredcites →https://doi.org/10.1016/0304-3975(83)90114-7openalex-snapshot
Calculi for synchrony and asynchrony
inferredcites →https://doi.org/10.1016/0743-1066(85)90015-9openalex-snapshot
Relating logic programs and attribute grammars
inferredcites →https://doi.org/10.1016/0743-1066(94)90048-5openalex-snapshot
Correctness of unification without occur check in prolog
inferredcites →https://doi.org/10.1016/b978-0-444-88074-1.50015-9openalex-snapshot
Logic Programming
inferredcites →https://doi.org/10.1016/c2013-0-07699-2openalex-snapshot
Foundations of Deductive Databases and Logic Programming
inferredcites →https://doi.org/10.1109/mex.1987.4307074openalex-snapshot
The Art of Prolog
inferredcites →https://doi.org/10.1145/357162.357169openalex-snapshot
An Efficient Unification Algorithm

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.1995.1014openalex-snapshot
An Operational Semantics for Timed CSP
inferred← citeshttps://doi.org/10.1006/inco.1995.1151openalex-snapshot
An Effective Axiomatization for Real Time ACP
inferred← citeshttps://doi.org/10.1007/3-540-55092-5_30openalex-snapshot
Stepwise development of model-oriented real-time specifications from action/event models
inferred← citeshttps://doi.org/10.1007/3-540-55585-4_16openalex-snapshot
Simulation of Mosca specifications in Ada
inferred← citeshttps://doi.org/10.1007/3-540-56287-7_114openalex-snapshot
Real-time calculi and expansion theorems
inferred← citeshttps://doi.org/10.1007/3-540-57182-5_29openalex-snapshot
A model for real-time process algebras (extended abstract)
inferred← citeshttps://doi.org/10.1007/3-540-57182-5_61openalex-snapshot
Deciding testing equivalence for real-time processes with dense time
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-57880-3_4openalex-snapshot
An asynchronous process algebra with multiple clocks
inferred← citeshttps://doi.org/10.1007/3-540-58027-1_10openalex-snapshot
Axiomatising real-timed processes
inferred← citeshttps://doi.org/10.1007/3-540-58027-1_8openalex-snapshot
Time abstracted bisimulation: Implicit specifications and decidability
inferred← citeshttps://doi.org/10.1007/3-540-58468-4_168openalex-snapshot
Designing and implementing correct real-time systems
inferred← citeshttps://doi.org/10.1007/3-540-59293-8_224openalex-snapshot
Describing a Signal Analyzer in the process algebra PMC — A case study
inferred← citeshttps://doi.org/10.1007/3-540-60218-6_39openalex-snapshot
CTR: A calculus of timed refinement
inferred← citeshttps://doi.org/10.1007/978-0-387-35079-0_17openalex-snapshot
Time-Action Alternating Model for Timed LOTOS and its Symbolic Verification of Bisimulation Equivalence
inferred← citeshttps://doi.org/10.1007/978-1-4471-3217-2_1openalex-snapshot
Real-Time Calculi and Expansion Theorems
inferred← citeshttps://doi.org/10.1007/978-1-4471-3217-2_3openalex-snapshot
Process Communication Environment
inferred← citeshttps://doi.org/10.1007/978-1-4471-3229-5_8openalex-snapshot
Loose Real-Time Communicating Agents
inferred← citeshttps://doi.org/10.1007/978-3-642-79917-4_2openalex-snapshot
Stochastic Process Algebra for Discrete Event Simulation
inferred← citeshttps://doi.org/10.1007/bfb0024649openalex-snapshot
Applications of modal logic for the specification of real-time systems
inferred← citeshttps://doi.org/10.1007/s00236-020-00394-3openalex-snapshot
Sound reasoning in tock-CSP
inferred← citeshttps://doi.org/10.1016/0020-0190(93)90197-hopenalex-snapshot
Congruent weak bisimulation with dense real-time
inferred← citeshttps://doi.org/10.1016/0304-3975(94)00169-jopenalex-snapshot
A brief history of Timed CSP
inferred← citeshttps://doi.org/10.1016/b978-044482830-9/50028-xopenalex-snapshot
Process Algebra with Timing: Real Time and Discrete Time
inferred← citeshttps://doi.org/10.1016/j.entcs.2008.04.091openalex-snapshot
Reduction Semantics and Formal Analysis of Orc Programs
inferred← citeshttps://doi.org/10.1016/j.jlamp.2015.03.003openalex-snapshot
Executable rewriting logic semantics of Orc and formal analysis of Orc programs
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/s1567-8326(00)00003-5openalex-snapshot
Variable binding operators in transition system specifications
inferred← citeshttps://doi.org/10.1016/s1567-8326(01)00004-2openalex-snapshot
Real time process algebra with time-dependent conditions
inferred← citeshttps://doi.org/10.1049/sej.1994.0026openalex-snapshot
Application-oriented real-time algebra
inferred← citeshttps://doi.org/10.1109/32.232027openalex-snapshot
A rely and guarantee method for timed CSP: a specification and design of a telephone exchange
inferred← citeshttps://doi.org/10.1109/emwrt.1993.638859openalex-snapshot
Continuous Real Time Models in Practice
inferred← citeshttps://doi.org/10.1109/jproc.2004.831197openalex-snapshot
Formal verification of timed systems: a survey and perspective
inferred← citeshttps://doi.org/10.1145/1273920.1273938openalex-snapshot
Real-time rewriting semantics of orc
inferred← citeshttps://doi.org/10.1145/298595.298860openalex-snapshot
Verification of an audio control protocol within real time process algebra
inferred← citeshttps://doi.org/10.3233/fi-1998-36236openalex-snapshot
Truth of Duration Calculus Formulae in Timed Frames
inferred← citeshttps://doi.org/10.3233/fun-2002-53103openalex-snapshot
Process Algebra with Nonstandard Timing
inferred← citeshttps://doi.org/10.7146/brics.v1i48.21594openalex-snapshot
Synthesizing Distinguishing Formulae for Real Time Systems
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.