MCRL2 (Q6714982)

From Wikidata

Jump to navigation Jump to search

formal specification language

Language	Label	Description	Also known as
English	MCRL2	formal specification language

Statements

process calculus

0 references

official website

https://www.mcrl2.org/web/user_manual/index.html

language of work or name

10 January 2018

0 references

Identifiers

0 references

Sitelinks

Wikipedia(1 entry)

enwiki MCRL2

Wikibooks(0 entries)

Wikinews(0 entries)

Wikiquote(0 entries)

Wikisource(0 entries)

Wikiversity(0 entries)

Wikivoyage(0 entries)

Wiktionary(0 entries)

Multilingual sites(0 entries)

Retrieved from "https://www.wikidata.org/w/index.php?title=Q6714982&oldid=1335978880"