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

29 Citations (Scopus)
2 Downloads (Pure)

Abstract

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

Publication series

NameCRC Computational Science Series
Volume2

Cite this

Groote, J. F., Mathijssen, A. H. J., Reniers, M. A., Usenko, Y. S., & Weerdenburg, van, M. J. (2008). Analysis of distributed systems with mCRL2. In M. Alexander, & W. Gardner (Eds.), Process Algebra for Parallel and Distributed Processing (pp. 99-128). (CRC Computational Science Series; Vol. 2). Chapman & Hall.