From \(\mu\)CRL to mCRL2: motivation and outline (Q5262965)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 6457590
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | From \(\mu\)CRL to mCRL2: motivation and outline |
scientific article; zbMATH DE number 6457590 |
Statements
From μCRL to mCRL2 (English)
0 references
10 July 2015
0 references
mCRL2
0 references
process algebra
0 references
data types
0 references
behavioural analysis
0 references
0.781895101070404
0 references
0.7750256061553955
0 references
0.7246133685112
0 references
