Mathematical Characterization Using Domain Theory
Finally eight years after the first Actor publication, Will Clinger (building on the work of Irene Greif 1975, Gordon Plotkin 1976, Michael Smyth 1978, Henry Baker 1978, Francez, Hoare, Lehmann, and de Roever 1979, and Milne and Milnor 1979) published the first satisfactory mathematical denotational model incorporating unbounded nondeterminism using domain theory in his dissertation in 1981 (see Clinger's model). Subsequently Hewitt augmented the diagrams with arrival times to construct a technically simpler denotational model that is easier to understand. See History of denotational semantics.
Read more about this topic: History Of The Actor Model
Famous quotes containing the words mathematical, domain and/or theory:
“The circumstances of human society are too complicated to be submitted to the rigour of mathematical calculation.”
—Marquis De Custine (1790–1857)
“While you are divided from us by geographical lines, which are imaginary, and by a language which is not the same, you have not come to an alien people or land. In the realm of the heart, in the domain of the mind, there are no geographical lines dividing the nations.”
—Anna Howard Shaw (1847–1919)
“No theory is good unless it permits, not rest, but the greatest work. No theory is good except on condition that one use it to go on beyond.”
—André Gide (1869–1951)