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)- Linearization in parallel pCRL
- Revisiting sequential composition in process calculi
- On the expressiveness of choice quantification
- A process calculus with finitary comprehended terms
- A proof assistant for PSF
- Design and analysis of dynamic leader election protocols in broadcast networks
- Computable processes and bisimulation equivalence
- scientific article; zbMATH DE number 2188495 (Why is no real title available?)
- A partial order approach to branching time logic model checking.
- scientific article; zbMATH DE number 1990799 (Why is no real title available?)
- Modular specification of process algebras
- Reflections on the future of concurrency theory in general and process calculi in particular
- From \(\mu\)CRL to mCRL2: motivation and outline
- PSF -- a retrospective
- scientific article; zbMATH DE number 2243625 (Why is no real title available?)
- 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
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)
