Semantics of Systems of Concurrent Processes: Litp Spring School on Theoretical Computer Science, La Roche Posay, France, April 23-27, 1990. Proceedings

by

Image not available

This volume contains the proceedings of the 1990 Spring School of Theoretical Computer Science, devoted to the semantics of concurrency. The papers are of two kinds: - surveys and tutorials introducing the subject to novices and students and giving updates of the state of the art, - research papers presenting recent achievements in the semantics ...

Currently there are no copies available. However, our inventory changes frequently. Please check back soon or try Book Fetch.