Semantics of systems of concurrent processes : LITP Spring School on Theoretical Computer Science, La Roche Posay, France, April 23-27, 1990 : proceedings
I. Guessarian (ed.)
Bok Engelsk 1990 LITP Spring School on Theoretical Computer Science
| Utgitt | Berlin : Springer , c1990
|
|---|---|
| Omfang | IV, 456 s. : ill.
|
| Emner | |
| ISBN | 0387534792. - 3540534792
|
