Semantics of systems of concurrent processes proceedings
Spring School of the Laboratoire Informatique Theorique et Programmation, 17., la Roche Posay, 1990 Irene Guessarian
Berlin Springer 1990
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 Lncs v.469 ) e outros locais(Acessar)