scientific article; zbMATH DE number 4157900
zbMATH Open0705.68075MaRDI QIDQ3485879FDOQ3485879
Authors: Sjouke Mauw, Gerrit Jan Veltink
Publication date: 1990
Title of this publication is not available (Why is that?)
Recommendations
operational semanticsconcurrent processesalgebraic specificationspecification languageinitial algebra semanticsspecifications and parameterization of modules
Theory of programming languages (68N15) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Grammars and rewriting systems (68Q42) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)
Cited In (18)
- Reflections on the future of concurrency theory in general and process calculi in particular
- Automatic verification of distributed systems: the process algebra approach.
- Process algebra with language matching
- WorkflowFM: a logic-based framework for formal process specification and composition
- On the expressiveness of choice quantification
- Modular specification of process algebras
- Title not available (Why is that?)
- Linearization in parallel pCRL
- A partial order approach to branching time logic model checking.
- Computable processes and bisimulation equivalence
- A process calculus with finitary comprehended terms
- Title not available (Why is that?)
- Title not available (Why is that?)
- From \(\mu\)CRL to mCRL2: motivation and outline
- Revisiting sequential composition in process calculi
- PSF -- a retrospective
- Design and analysis of dynamic leader election protocols in broadcast networks
- A proof assistant for PSF
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3485879)