ISBN-13: 9783540515258 / Angielski / Miękka / 1989 / 172 str.
ISBN-13: 9783540515258 / Angielski / Miękka / 1989 / 172 str.
Focuses on different approaches for the modelling of parallel processes. On the one hand there are the so-called 'process algebras' or 'abstract programming languages' with Milner's Calculus of Communicating Systems (CCS) and the theoretical version of Hoare's Communicating Sequential Processes (CSP) as main representatives.