Semantics of Systems of Concurrent Processes
Guessarian, Irene![Semantics of Systems of Concurrent Processes](https://support.digitalhusky.com/media/annotations/sorted/170/17053134/CHSBZCOP0317053134.jpg)
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 of concurrency. The contributions explicate the connections, similarities and differences between v...