algebra of communicating processes: proceedings of acp94, the first workshop on the algebra of communicating processes, utrecht, the netherlands, 16 - (in English)
Ponse, Alban ; Verhoef, Christiaan ; Vlijmen, Sebastiaan F. M. Van
Springer, 1994, Hardcover, New