A refinement of Kahn's semantics to handle non-determinism and communication

Reference:

R.J.R. Back and Heikki Mannila. A refinement of kahn's semantics to handle non-determinism and communication. In Proceedings of the ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing, pages 111–120, 1982.

Suggested BibTeX entry:

@inproceedings{bm2,
    author = {R.J.R. Back and Heikki Mannila},
    booktitle = {Proceedings of the ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing},
    pages = {111-120},
    title = {A refinement of Kahn's semantics to handle non-determinism and communication},
    year = {1982},
}