An algebraic theory of fair asynchronous communicating processes
Cf. the review of the preliminary version [Lect. Notes Comput. Sci. 194, 260-269 (1985)] in Zbl 0566.68022.
fair asynchronous communicating processes
scientific article; zbMATH DE number 3990853
scientific article