Structured CSP – A Process Algebra as an Institution

Publication Type:

Book

Source:

Recent Trends in Algebraic Development Techniques, Springer, Berlin, Heidelberg, p.92-110 (2007)
Share/Save