L. Cardelli, A. Gordon. Mobile Ambients. To appear in FoSSaCS, 1998. (Available at URL http://www.luca.demon.co.uk)). 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)
....either localities or sequences of sites. The idea is that s is the site where the net N is allocated. Site s and its environment ae can then be used to control all interactions between N and other nets. Allocated nets are very similar in spirit to the multiple ambients of Cardelli and Gordon [9]. A complete investigation of allocated nets is beyond the scope of the present paper and will be the subject of a further work. 3 Operational Semantics The two syntactic levels of Klaim are reflected at the semantic level. The operational semantics of Klaim is given in the SOS style [35] and ....
L. Cardelli, A. Gordon. Mobile Ambients. To appear in FoSSaCS, 1998. (Available at URL http://www.luca.demon.co.uk)).
KLAIM: a Kernel Language for Agents Interaction and Mobility - De Nicola, Ferrari.. (1997) (69 citations) (Correct)
....Models. 1 1 Introduction Networking has changed computers from isolated data processors into powerful communication and elaboration devices. The terms global computers and global information structures have recently been used to identify architectures of this kind and applications over them [8]. The World Wide Web (WWW) is the best known example of an application geographically distributed over a collection of processors and networks. Global structures computers are rapidly evolving towards programmability; again, an illustrative example is the WWW. One could easily imagine ....
L. Cardelli. Global Computation. Manuscript, 1996. (Available at URL http://www.luca.demon.co.uk)).
Interactive Mobile Agents in X-KLAIM - Bettini, De Nicola, Publiese.. (1998) (1 citation) (Correct)
....together with a few examples introducing the reader to the new programming style. 1. Introduction Networking has turned computers from isolated data processors into powerful communication and elaboration devices and has led to so called global computers and global information structures [4]. Global structures computers are rapidly evolving towards programmability; an illustrative example is the World Wide Web (WWW) One could easily imagine applications with programs running at different sites and needing continuous interactions or applications that have to take decisions ....
L. Cardelli. Global Computation. Manuscript, 1996. (Available at URL http://www.luca.demon.co.uk)).
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