Structured CSP -- A Process Algebra as an Institution

@inproceedings{pub3908,
    author = {

Mossakowski, Till
 and 

Roggenbach, Markus
},
    editor = {

Fiadeiro, J.
},
    title = {Structured CSP -- A Process Algebra as an Institution},
    booktitle = {WADT 2006. International Workshop on Algebraic Development Techniques (WADT-06), 18th, June 1-3, La Roche en Ardenne, Belgium},
    series = {Lecture Notes in Computer Science (LNCS)},
    year = {2007},
    volume = {4409},
    pages = {92--110},
    publisher = {Springer-Verlag}
}