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