Structured CSP ‒ a process algebra as an institution. (English)
Fiadeiro, José Luiz (ed.) et al., Recent trends in algebraic development techniques. 18th international workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1‒3, 2006. Revised selected papers. Berlin: Springer (ISBN 978-3-540-71997-7/pbk). Lecture Notes in Computer Science 4409, 92-110 (2007).
Summary: 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.
Start
Contact
Print
General Help
