Skip to main content Skip to main navigation


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, Pages 92-110, Lecture Notes in Computer Science (LNCS), Vol. 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