TY  - BOOK
TI  -  Semantics of Systems of Concurrent Processes  LITP spring School on Theoretical Compputer Scccience La Roche Posay, France, April 1990 Proceedings
CY  -  Berlin;  New-York
AV  -  III 13333
ER  -