Structured CSP -- A Process Algebra as an Institution

Till Mossakowski, Markus Roggenbach

In: J. Fiadeiro (Hrsg.). WADT 2006. International Workshop on Algebraic Development Techniques (WADT-06) 18th June 1-3 La Roche en Ardenne Belgium Seiten 92-110 Lecture Notes in Computer Science (LNCS) 4409 Springer-Verlag Heidelberg 2007.


We introduce two institutions for the process algebra CSP, one for the traces model, and one for the stable failures model. The construction is generic and should be easily instantiated with further models. As a consequence, we can use structured specification constructs like renaming, hiding and parameterisation (that have been introduced over an arbitrary institution) also for CSP. With a small example we demonstrate that structuring indeed makes sense for CSP.

Weitere Links

Deutsches Forschungszentrum für Künstliche Intelligenz
German Research Center for Artificial Intelligence