Subscribe

Oct. 28, 1981 to Oct. 30, 1981

pp: 140-149

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/SFCS.1981.36

ABSTRACT

Two distinct models for the notion of communicating processes are introduced, developed and related. The first, called the possible-futures model, is a generalization to nondeterministic systems of the familiar derivative (Nerode equivalence class) construction. The second, called the acceptance-refusals model, is a slight strengthening of a model introduced by Hoare, Brookes, and Roscoe. The PF model can be mapped onto the AR model homomorphically, and the equivalence classes of this map can be characterized by imposing a very natural equivalence relation on the PF model. The resulting quotient algebra admits a complete partial order structure in which the algebraic operations are continuous.

CITATION

W. C. Rounds,
S. D. Brookes,
"Possible futures, acceptances, refusals, and communicating processes",

*FOCS*, 1981, 2013 IEEE 54th Annual Symposium on Foundations of Computer Science, 2013 IEEE 54th Annual Symposium on Foundations of Computer Science 1981, pp. 140-149, doi:10.1109/SFCS.1981.36