000 00604nam a2200193Ia 4500
919 _a014204
020 _a3540534792
082 _a004.35015113
_bN90
100 _aGuessarin, I.
245 _aSemantics of systems of concurrent processes; LITP spring school on ... /ed. (by) I. Guessarin
_b
260 _aBerlin
_bS-V
_c1990
300 _aiv, 456p
440 _aLecture Notes in Computer Science
_v469
500 _aTrans. from CSA to ML
653 _aConcurrency Parallel processing
700 _aLITP Spring School on Theoretical Computer Science
906 _h1990
906 _gLa Roche Posay
999 _c13952
_d13952