Publication:3614665
From MaRDI portal
zbMath1171.68400MaRDI QIDQ3614665
Aad Mathijssen, Jan Friso Groote, Muck J. Van Weerdenburg, Yaroslav S. Usenko, Michel Reniers
Publication date: 9 March 2009
68N15: Theory of programming languages
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
68M14: Distributed systems
Related Items
A Multi-Core Solver for Parity Games, mCRL2, Symbolic execution of Reo circuits using constraint automata, A generic framework for \(n\)-protocol compatibility checking, Dynamic consistency in process algebra: from paradigm to ACP, A linear translation from CTL\(^*\) to the first-order modal \(\mu \)-calculus, Verification of reactive systems via instantiation of parameterised Boolean equation systems, Lifting non-finite axiomatizability results to extensions of process algebras, Verification of Context-Dependent Channel-Based Service Models, Suitability of mCRL2 for Concurrent-System Design: A 2 × 2 Switch Case Study