翻訳と辞書 Words near each other ・ McRae, Florida ・ McRae, Georgia ・ McRae, Virginia ・ McRae-Helena, Georgia ・ McRae-McQueen House ・ McRaven ・ McRaven House ・ MCRC ・ MCRD ・ MCRD San Diego Command Museum ・ McRee ・ McRefugee ・ McReynolds ・ MCRI ・ McRib ・ MCRL2 ・ McRobb ・ McRobbie ・ McRoberts ・ McRoberts maneuver ・ McRoberts Secondary School ・ McRoberts, Kentucky ・ McRorie ・ McRory ・ McRoskey Mattress Company ・ McRoss, West Virginia ・ McRoy ・ MCRPC ・ MCRS1 ・ McRuer Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク MCRL2 ： ウィキペディア英語版 MCRL2 mCRL2 is a specification language for describing concurrent discrete event systems. It is accompanied with a toolset, that facilitates tools, techniques and methods for simulation, analysis and visualization of behaviour. The behavioural part of the language is based on process algebra (Algebra of Communicating Processes). The data part of the toolset is based on abstract equational data types extended with higher-order functions. The toolset has been founded by Jan Friso Groote and is currently developed by the Formal Systems Analysis group at Eindhoven University of Technology, The Netherlands. ==References== *Groote, J.F., Mousavi, M.R. ''Modeling and analysis of communicating systems''. The MIT press. 2014. ISBN 9780262027717. 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「MCRL2」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.