@inproceedings{22c151575f284580b7577d57ad252cd3,
title = "Dynamic consistency in process algebra : from Paradigm to ACP",
abstract = "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 levels of 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.",
author = "S. Andova and L.P.J. Groenewegen and {Vink, de}, E.P.",
year = "2009",
doi = "10.1016/j.entcs.2009.06.026",
language = "English",
series = "Electronic Notes in Theoretical Computer Science",
pages = "3--20",
editor = "P. Poizat and M. Sirjani",
booktitle = "Proceedings of the 7th International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA'08, Reykjavik, Iceland, July 13th, 2008; in conjunction with CONCUR'08)",
}