scientific article
From MaRDI portal
Publication:3485879
zbMath0705.68075MaRDI QIDQ3485879
Sjouke Mauw, Gerrit Jan Veltink
Publication date: 1990
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
operational semanticsconcurrent processesalgebraic specificationspecification languageinitial algebra semanticsspecifications and parameterization of modules
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Theory of programming languages (68N15) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65) Grammars and rewriting systems (68Q42)
Related Items (12)
On the expressiveness of choice quantification ⋮ Computable processes and bisimulation equivalence ⋮ A process calculus with finitary comprehended terms ⋮ Process algebra with language matching ⋮ Revisiting sequential composition in process calculi ⋮ Design and analysis of dynamic leader election protocols in broadcast networks ⋮ Automatic verification of distributed systems: the process algebra approach. ⋮ Linearization in parallel pCRL ⋮ Modular specification of process algebras ⋮ A partial order approach to branching time logic model checking. ⋮ From μCRL to mCRL2 ⋮ Reflections on the Future of Concurrency Theory in General and Process Calculi in Particular
This page was built for publication:
