TY - BOOK AU - Guessarin, I. AU - LITP Spring School on Theoretical Computer Science TI - Semantics of systems of concurrent processes; LITP spring school on ... /ed. (by) I. Guessarin SN - 3540534792 U1 - 004.35015113 PY - 1990/// CY - Berlin PB - S-V KW - Concurrency Parallel processing N1 - Trans. from CSA to ML ER -