Sciweavers

Share
SCP
2011

Dynamic consistency in process algebra: From Paradigm to ACP

8 years 8 months ago
Dynamic consistency in process algebra: From Paradigm to ACP
The coordination modelling language Paradigm addresses collaboration between components in terms of dynamic constraints. Within a Paradigm model, component dynamics are consistently specified at various f abstraction. To enable automated verification of Paradigm models, a translation of Paradigm into process algebra is provided. Examples are given and guidelines for a systematic translation into the process algebra ACP are discussed. Verification results building on the mCRL2 toolset are presented as well.
Suzana Andova, Luuk Groenewegen, Erik P. de Vink
Added 15 May 2011
Updated 15 May 2011
Type Journal
Year 2011
Where SCP
Authors Suzana Andova, Luuk Groenewegen, Erik P. de Vink
Comments (0)
books