B. Thomsen, L. Leth, A. Giacalone. Some Issues in the Semantics of Facile Distributed Programming. REX Workshop "Semantics: Foundations and Applications" (J.W. de Bakker, W-P. de Roever, G. Rezenberg), LNCS 666, pp. 563-593, Springer, 1992. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
KLAIM: a Kernel Language for Agents Interaction and Mobility - De Nicola, Ferrari.. (1997) (69 citations) (Correct)
....could have been made. An alternative formulation of the rule for the creation of a new node is P n(u) self Gamma Gamma Gamma Gamma Gamma ae 0 P 0 s 0 2 S; s 0 fresh s : ae P s : ae P 0 [s 0 =u] k s 0 : s 0 =self]fflOE nil The rationale behind this choice (adopted in [39]) is that any new node has no knowledge of the rest of the net. 11 P s(t) Gamma Gamma Gamma ae 0 P 0 s = ae 0 ffl ae ( et = T [ t ] ae 0 fflae s : ae P s : ae P 0 j out(et) 1) P 1 s(t) Gamma Gamma Gamma ae P 0 1 s 2 = ae ffl ae 1 ( et = T [ t ] aefflae ....
B. Thomsen, L. Leth, A. Giacalone. Some Issues in the Semantics of Facile Distributed Programming. REX Workshop "Semantics: Foundations and Applications" (J.W. de Bakker, W-P. de Roever, G. Rezenberg), LNCS 666, pp. 563-593, Springer, 1992.
KLAIM: a Kernel Language for Agents Interaction and Mobility - De Nicola, Ferrari.. (1998) (69 citations) (Correct)
No context found.
B. Thomsen, L. Leth, A. Giacalone. Some Issues in the Semantics of Facile Distributed Programming. REX Workshop "Semantics: Foundations and Applications" (J.W. de Bakker, W-P. de Roever, G. Rezenberg), LNCS 666, pp. 563-593, Springer, 1992.
Types for Access Control - De Nicola, Ferrari, Pugliese, Venneri (1998) (6 citations) (Correct)
No context found.
B. Thomsen, L. Leth, A. Giacalone. Some Issues in the Semantics of Facile Distributed Programming. REX Workshop "Semantics: Foundations and Applications", LNCS 666, Springer, 1992.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC