Search for Author All Reviews
	Mousavi, Mohammad Reza     Options: All Media Types Journals Proceedings Div Books Whole Books Other Date Reviewed Title Author Publisher Published Date Descending Ascending Date Reviewed     1 - 1 of 1 reviews       Modeling and analysis of communicating systems Groote J., Mousavi M., The MIT Press, Cambridge, MA, 2014. 392 pp.  Type: Book (978-0-262027-71-7) Groote and Mousavi introduce the theoretical foundation of the modeling and analysis language mCRL2. mCRL2, along with its extensive toolset, is available online (http://www.mcrl2.org). Though the program is available on Windows platfo...... Feb 20 2015
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud® Terms of Use | Privacy Policy