2 matches
-
Proliferarea diferitelor modele de concurență a motivat unii cercetători să dezvolte moduri de a unifica aceste modele teoretice. De exemplu, Lee și Sangiovanni-Vincentelli au demonstrat că modelul "tagged-semnal" poate fi folosit pentru a oferi un cadru comun pentru definirea semanticii denotaționale a unei varietăți de modele diferite de concurență, în timp ce Nielsen, Sassone și Winskel au demonstrat că "teoria categoriilor" poate fi folosită pentru a oferi o înțelegere unificată diferitor modele. Teorema de reprezentare computațională din modelul Actor oferă o modalitate destul de
Concurență (informatică) () [Corola-website/Science/326517_a_327846]
-
ca parte a cercetării sale doctorale. Doi ani mai târziu, Henry Baker și Hewitt au publicat un set de legi axiomatice pentru sistemele Actor. Alte momente majore în istorie includ dizertația lui William Clinger's, în 1981, introducând o semantică denotațională bazată pe domenii de putere și dizertația lui Gul Agha din 1985 care a dezvoltat mai departe modelul semantic complementar modelui lui Clinger. </ref> Aceasta a rezultat în dezvoltarea completă a teoriei modelului Actor. Însă cea mai importantă implementare în
Modelul Actor () [Corola-website/Science/322835_a_324164]