Analysis of distributed systems with mCRL2

J.F. Groote, A.H.J. Mathijssen, M.A. Reniers, Y.S. Usenko, M.J. Weerdenburg, van

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

30 Citations (Scopus)
2 Downloads (Pure)


No abstract.
Original languageEnglish
Title of host publicationProcess Algebra for Parallel and Distributed Processing
EditorsM. Alexander, W. Gardner
PublisherChapman & Hall
ISBN (Print)978-1-4200-6486-5
Publication statusPublished - 2008

Publication series

NameCRC Computational Science Series

Cite this