Publication:2760247
From MaRDI portal
zbMath1006.68100MaRDI QIDQ2760247
C. A. Middelburg, Jos C. M. Baeten
Publication date: 21 March 2002
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
Bisimulation on speed: Lower time bounds, Variable binding operators in transition system specifications, Real time process algebra with time-dependent conditions, A translation of \(\text{TPAL}_{p}\) into a class of timed-probabilistic Petri nets, Bisimulation on speed: Worst-case efficiency, Process-algebraic approaches for multi-agent systems: an overview, Generating priority rewrite systems for OSOS process languages, Bialgebraic methods and modal logic in structural operational semantics, Revisiting timing in process algebra., An alternative formulation of operational conservativity with binding terms., Process algebra for hybrid systems, Expired data collection in shared dataspaces., Process languages with discrete relative time based on the ordered SOS format and rooted eager bisimulation, Continuity controlled hybrid automata, Decidability of performance equivalence for basic parallel processes, Parallel Processes with Real-Time and Data: The ATLANTIF Intermediate Format