Semantics for concurrency : Proc. of the intern. BCS-FACS workshop 23-25 July 1990 Leicester / Ed. M. Z. Kwiatkowska, 1990. - VIII, 346 p. 346 p. - Текст : непосредственный.