scientific article; zbMATH DE number 4157900
From MaRDI portal
Publication:3485879
algebraic specificationconcurrent processesinitial algebra semanticsoperational semanticsspecification languagespecifications 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)- Process algebra with language matching
- Modular specification of process algebras
- A partial order approach to branching time logic model checking.
- On the expressiveness of choice quantification
- Computable processes and bisimulation equivalence
- WorkflowFM: a logic-based framework for formal process specification and composition
- Reflections on the future of concurrency theory in general and process calculi in particular
- PSF -- a retrospective
- A process calculus with finitary comprehended terms
- scientific article; zbMATH DE number 1990799 (Why is no real title available?)
- Design and analysis of dynamic leader election protocols in broadcast networks
- From CRL to mCRL2: motivation and outline
- scientific article; zbMATH DE number 2188495 (Why is no real title available?)
- scientific article; zbMATH DE number 2243625 (Why is no real title available?)
- Linearization in parallel pCRL
- A proof assistant for PSF
- Revisiting sequential composition in process calculi
- Automatic verification of distributed systems: the process algebra approach.
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)
