@book
{TN_libero_mab2,
author = {
Algebra of communicating processes 1, 1994, Utrecht, The Netherlands
AND
Workshop on the Algebra of Communicating Processes 1 1994 Utrecht
Ponse, Alban
AND
Verhoef, C.
AND
Vlijmen, S. Van
},
title = {
Algebra of communicating processes
proceedings of ACP94, the First Workshop on the Algebra of Communicating Processes, Utrecht, The Netherlands, 16 - 17 May 1994
},
publisher = {Springer},
isbn = {0387199098},
isbn = {3540199098},
keywords = {
Konferenzschrift 1994 Utrecht
,
Konferenzschrift
,
Nebenläufigkeit
,
Algebraische Spezifikation
,
Prozessalgebra
},
year = {1995},
booktitle = {Workshops in Computing},
address = {
London
},
}