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
|