scientific article; zbMATH DE number 4157900
From MaRDI portal
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)
Recommendations
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
- scientific article; zbMATH DE number 1990799 (Why is no real title available?)
- 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
- scientific article; zbMATH DE number 2188495 (Why is no real title available?)
- scientific article; zbMATH DE number 2243625 (Why is no real title available?)
- Revisiting sequential composition in process calculi
- From \(\mu\)CRL to mCRL2: motivation and outline
- 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)
