TY -
BOOK
AU - Algebra of communicating processes 1, 1994, Utrecht, The Netherlands
AU - Workshop on the Algebra of Communicating Processes 1 1994 Utrecht
AU - Ponse, Alban
AU - Verhoef, C.
AU - Vlijmen, S. Van
TI -
Algebra of communicating processes
proceedings of ACP94, the First Workshop on the Algebra of Communicating Processes, Utrecht, The Netherlands, 16 - 17 May 1994
PB - Springer
SN - 0387199098
SN - 3540199098
KW - Konferenzschrift 1994 Utrecht
KW - Konferenzschrift
KW - Nebenläufigkeit
KW - Algebraische Spezifikation
KW - Prozessalgebra
PY - 1995
BT - Workshops in Computing
CY - London
ER -