Abstract
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.
Users
Please
log in to take part in the discussion (add own reviews or comments).