![]() |
Volumn 162, Issue 1, 2006, Pages 191-196
|
From μCRL to mCRL2. Motivation and Outline
|
Author keywords
behavioural analysis; data types; mCRL2; process algebra
|
Indexed keywords
DATA ACQUISITION;
FUNCTIONS;
LINEAR ALGEBRA;
MATHEMATICAL MODELS;
NUMERICAL ANALYSIS;
PETRI NETS;
BEHAVIOURAL ANALYSIS;
MCRL2;
PROCESS ALGEBRA;
FORMAL LANGUAGES;
|
EID: 33748886704
PISSN: 15710661
EISSN: None
Source Type: Journal
DOI: 10.1016/j.entcs.2005.12.101 Document Type: Article |
Times cited : (21)
|
References (9)
|