Search for Author All Reviews
	Groote, Jan Friso     Options: All Media Types Journals Proceedings Div Books Whole Books Other Date Reviewed Title Author Publisher Published Date Descending Ascending Date Reviewed     1 - 2 of 2 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     The meaning of negative premises in transition system specifications Bol R., Groote J. Journal of the ACM 43(5): 863-914, 1996.  Type: Article A transition relation is a relation t ⟹ &tgr; between terms, specified by a set of rules allowing the introduction of a new arrow from known ones. (There is a classical description of this process using...... Aug 1 1997
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud® Terms of Use | Privacy Policy