by Ecole de printemps dʼinformatique théorique (1990 La Roche-Posay, France)
"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 introd…