Structured CSP – A Process Algebra as an Institution Publication Type: Book Authors: Till Mossakowski; Markus Roggenbach Source: Recent Trends in Algebraic Development Techniques, Springer, Berlin, Heidelberg, p.92-110 (2007)
