| Publication type: |
Article in Proceedings |
| Author: |
Till Mossakowski, Markus Roggenbach |
| Editor: |
J. Fiadeiro |
| Title: |
Structured CSP -- A Process Algebra as an Institution |
| Book / Collection title: |
WADT 2006 |
| Volume: |
4409 |
| Page(s): |
92 – 110 |
| Series: |
Lecture Notes in Computer Science |
| Year published: |
2007 |
| Publisher: |
Springer-Verlag Heidelberg |
| 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.
|
| PDF Version: |
http://www.informatik.uni-bremen.de/~till/papers/csp.pdf |
| PostScript Version: |
http://www.informatik.uni-bremen.de/~till/papers/csp.ps |
| Keywords: |
CSP structuring institution |
| Status: |
Reviewed |
| Last updated: |
13. 02. 2007 |
