| 000 | 00662nam a2200181 4500 | ||
|---|---|---|---|
| 008 | 160616s1990 000 0 | ||
| 245 |
_aSemantics of systems of concurrent processes LITP Spring School on Theoretical Computer Science, La Roche Posay, France, April 23-27, 1990 _bproceedings |
||
| 100 | _aGuessarian, I Ed., | ||
| 260 | _aBerlin | ||
| 260 | _bSpringer-Verlag | ||
| 260 | _c1990 | ||
| 300 | _a456 | ||
| 440 | _aLecture notes in computer science ; 00469 | ||
| 020 | _a3540534792 | ||
| 650 |
_aParallel processing (Electronic computers) _aProgramming languages (Electronic computers) _aSemantics. |
||
| 942 |
_cBK _2BK19066 |
||
| 080 | _a681 LNCS | ||
| 999 |
_c19066 _d19066 |
||