From μCRL to mCRL2
From MaRDI portal
Publication:5262965
DOI10.1016/j.entcs.2005.12.101zbMath1316.68094OpenAlexW2168615519MaRDI QIDQ5262965
Aad Mathijssen, Jan Friso Groote, Muck J. Van Weerdenburg, Yaroslav S. Usenko
Publication date: 10 July 2015
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.entcs.2005.12.101
Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items
Concurrent Kleene Algebra ⋮ Equivalence checking 40 years after: a review of bisimulation tools ⋮ Concurrent Kleene algebra and its foundations ⋮ Actor-based slicing techniques for efficient reduction of Rebeca models
Uses Software
Cites Work
This page was built for publication: From μCRL to mCRL2