Semantics of systems of concurrent processes : Proc.of the Spring school on theoretical computer science, La Roche Posay, Apr.23-27, 1990 / Ed. I. Guessarian, 1990. - IV,456 p. p. - Текст : непосредственный.