Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/MCRL2> ?p ?o }
Showing triples 1 to 28 of
28
with 100 triples per page.
- MCRL2 abstract "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 atEindhoven University of Technology, The Netherlands.".
- MCRL2 wikiPageExternalLink www.mcrl2.org.
- MCRL2 wikiPageID "17163257".
- MCRL2 wikiPageLength "881".
- MCRL2 wikiPageOutDegree "6".
- MCRL2 wikiPageRevisionID "632265311".
- MCRL2 wikiPageWikiLink Algebra_of_Communicating_Processes.
- MCRL2 wikiPageWikiLink Category:Model_checkers.
- MCRL2 wikiPageWikiLink Category:Process_calculi.
- MCRL2 wikiPageWikiLink Eindhoven_University_of_Technology.
- MCRL2 wikiPageWikiLink Jan_Friso_Groote.
- MCRL2 wikiPageWikiLink Netherlands.
- MCRL2 wikiPageWikiLinkText "mCRL2".
- MCRL2 subject Category:Model_checkers.
- MCRL2 subject Category:Process_calculi.
- MCRL2 hypernym Language.
- MCRL2 type Language.
- MCRL2 type Model.
- MCRL2 type Language.
- MCRL2 type Model.
- MCRL2 type Tool.
- MCRL2 comment "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).".
- MCRL2 label "MCRL2".
- MCRL2 sameAs Q6714982.
- MCRL2 sameAs m.043q44x.
- MCRL2 sameAs Q6714982.
- MCRL2 wasDerivedFrom MCRL2?oldid=632265311.
- MCRL2 isPrimaryTopicOf MCRL2.