Analysis of distributed systems with mCRL2

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

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

29 Citaten (Scopus)
2 Downloads (Pure)

Samenvatting

No abstract.
Originele taal-2Engels
TitelProcess Algebra for Parallel and Distributed Processing
RedacteurenM. Alexander, W. Gardner
UitgeverijChapman & Hall
Pagina's99-128
ISBN van geprinte versie978-1-4200-6486-5
StatusGepubliceerd - 2008

Publicatie series

NaamCRC Computational Science Series
Volume2

Citeer dit

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 (editors), Process Algebra for Parallel and Distributed Processing (blz. 99-128). (CRC Computational Science Series; Vol. 2). Chapman & Hall.