| Art der Veröffentlichung: |
Artikel in Konferenzband |
| Autor: |
Till Mossakowski, Markus Roggenbach |
| Herausgeber: |
J. Fiadeiro |
| Titel: |
Structured CSP -- A Process Algebra as an Institution |
| Buch / Sammlungs-Titel: |
WADT 2006 |
| Band: |
4409 |
| Seite(n): |
92 – 110 |
| Serie / Reihe: |
Lecture Notes in Computer Science |
| Erscheinungsjahr: |
2007 |
| Verleger: |
Springer-Verlag Heidelberg |
| Abstract / Kurzbeschreibung: |
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 |
| Schlagworte: |
CSP structuring institution |
| Status: |
Reviewed |
| Letzte Aktualisierung: |
13. 02. 2007 |
