Process Algebra for Synchronous Communication

@article{Bergstra1984ProcessAF,
  title={Process Algebra for Synchronous Communication},
  author={Jan A. Bergstra and Jan Willem Klop},
  journal={Information and Control},
  year={1984},
  volume={60},
  pages={109-137}
}
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… CONTINUE READING
Highly Influential
This paper has highly influenced 80 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS