scientific article; zbMATH DE number 1638655
From MaRDI portal
Publication:2736352
Recommendations
- Equational reasoning about nondeterministic processes
- Processes, Terms and Cycles: Steps on the Road to Infinity
- The \$-calculus process algebra for problem solving: A paradigmatic shift in handling hard computational problems
- Expressiveness of process algebras
- Communicating Sequential Processes. The First 25 Years
- Solvability of equivalence problems in a system of algorithmic algebras
- Process Algebra
- Undecidable equivalences for basic process algebra
- An incompleteness result in process algebra
- Equivalence of recursive specifications in process algebra
Cited in
(18)- On the Complexity of Reachability in Parametric Markov Decision Processes
- Factorization for component-interaction automata
- Equational reasoning about nondeterministic processes
- scientific article; zbMATH DE number 810103 (Why is no real title available?)
- The complexity of reachability in parametric Markov decision processes
- Complexity of Decision Problems for Mixed and Modal Specifications
- Problem solving using process algebra considered insightful
- The expressive power of implicit specifications
- Branching time controllers for discrete event systems
- Parametric Markov chains: PCTL complexity and fraction-free Gaussian elimination
- Sound approximate and asymptotic probabilistic bisimulations for PCTL
- Modal event-clock specifications for timed component-based design
- Design of reactive algorithms by solving equations over automata
- scientific article; zbMATH DE number 4026813 (Why is no real title available?)
- Robust almost-sure reachability in multi-environment MDPs
- Negative Results on Decidability and Small Model Property of Process Equations
- On the greatest solution of equations in \(\mathrm{CLL}_R\)
- On process equivalence = equation solving in CCS
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 Q2736352)
