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:
“What is history? Its beginning is that of the centuries of systematic work devoted to the solution of the enigma of death, so that death itself may eventually be overcome. That is why people write symphonies, and why they discover mathematical infinity and electromagnetic waves.”
—Boris Pasternak (1890–1960)
“The vice named surrealism is the immoderate and impassioned use of the stupefacient image or rather of the uncontrolled provocation of the image for its own sake and for the element of unpredictable perturbation and of metamorphosis which it introduces into the domain of representation; for each image on each occasion forces you to revise the entire Universe.”
—Louis Aragon (1897–1982)
“The theory of the Communists may be summed up in the single sentence: Abolition of private property.”
—Karl Marx (1818–1883)