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 |