scientific article; zbMATH DE number 497653
From MaRDI portal
Publication:4278673
zbMath0799.68007MaRDI QIDQ4278673
Publication date: 27 January 1994
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
communicationprocess algebraparallelismrecursionbisimulationreal timeabstractionprefixed integration
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Applications of universal algebra in computer science (08A70) Semantics in the theory of computing (68Q55) Research exposition (monographs, survey articles) pertaining to computer science (68-02)
Related Items (6)
Discrete time process algebra with abstraction ⋮ Discrete time process algebra ⋮ A general conservative extension theorem in process algebras with inequalities ⋮ Metric semantics for true concurrent real time ⋮ Action transducers and timed automata ⋮ The cones and foci proof technique for timed transition systems
This page was built for publication:
