The Timed Diagrams Model
Hewitt published a new denotational semantics for Actors based on Timed Diagrams. The Timed Diagrams model stands in contrast to Clinger which constructed an ω-complete power domain from an underlying incomplete diagrammatic domain, which did not include time. The advantage of the domain Timed Diagrams model is that it is physically motivated and the resulting computations have the desired property of ω-completeness (therefore unbounded nondeterminism) which provides guarantee of service.
Read more about this topic: Denotational Semantics Of The Actor Model
Famous quotes containing the words timed, diagrams and/or model:
“He bends to the order of the seasons, the weather, the soils and crops, as the sails of a ship bend to the wind. He represents continuous hard labor, year in, year out, and small gains. He is a slow person, timed to Nature, and not to city watches. He takes the pace of seasons, plants and chemistry. Nature never hurries: atom by atom, little by little, she achieves her work.”
—Ralph Waldo Emerson (1803–1882)
“Professors could silence me then; they had figures, diagrams, maps, books.... I was learning that books and diagrams can be evil things if they deaden the mind of man and make him blind or cynical before subjection of any kind.”
—Agnes Smedley (1890–1950)
“For an artist to marry his model is as fatal as for a gourmet to marry his cook: the one gets no sittings, and the other gets no dinners.”
—Oscar Wilde (1854–1900)