Semantics of Systems of Concurrent Processes: LITP Spring School on Theoretical Computer Science La Roche Posay, France, April 23–27, 1990 Proceedings
Springer-Verlag 1990 ;ISSN: 0302-9743 ;ISBN: 3662170817 ;ISBN: 9783540534792 ;ISBN: 3540534792 ;ISBN: 9783662170816 ;EISSN: 1611-3349 ;EISBN: 3540468978 ;EISBN: 9783540468974 ;DOI: 10.1007/3-540-53479-2
Full text available