Bergstra, J. A.; Klop, J. W. Process algebra of synchronous communication. (English) Zbl 0597.68027 Inf. Control 60, 109-137 (1984). Summary: Within the context of an algebraic theory of processes, an equational specification of process cooperation is provided. Four cases are considered: free merge or interleaving, merging with communication, merging with mutual exclusion of tight regions, and synchronous process cooperation. The rewrite system behind the communication algebra is shown to be confluent and terminating (modulo its permutative reductions). Further, some relationships are shown to hold between the four concepts of merging. Cited in 5 ReviewsCited in 207 Documents MSC: 68N25 Theory of operating systems Keywords:algebraic theory of processes; equational specification; free merge; interleaving; mutual exclusion; synchronous process cooperation; rewrite system; communication algebra PDFBibTeX XMLCite \textit{J. A. Bergstra} and \textit{J. W. Klop}, Inf. Control 60, 109--137 (1984; Zbl 0597.68027) Full Text: DOI