An Algebraic Theory of Fair Synchronous Communicating Processes

@article{Hennessy1987AnAT,
  title={An Algebraic Theory of Fair Synchronous Communicating Processes},
  author={Matthew Hennessy},
  journal={Theor. Comput. Sci.},
  year={1987},
  volume={49},
  pages={121-143}
}

Citations

Publications citing this paper.
Showing 1-3 of 3 extracted citations

References

Publications referenced by this paper.
Showing 1-2 of 2 references

Reasoning about recursive processes: Expansion isn't always fair MFPS

  • Reasoning about recursive processes: Expansion…

The essence of Parallel Algol LICS

  • The essence of Parallel Algol LICS

Similar Papers

Loading similar papers…