Structured CSP – A Process Algebra as an Institution Вид публикации: Book Авторы: Till Mossakowski; Markus Roggenbach Источник: Recent Trends in Algebraic Development Techniques, Springer, Berlin, Heidelberg, p.92-110 (2007)
