L. Bettini, R. De Nicola, and R. Pugliese. Klava: a Java Package for Distributed and Mobile Applications. Software --- Practice and Experience, 32:1365--1394, 2002. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
On the Expressive Power of Klaim-based Calculi - De Nicola, Gorla, al. (2004) Self-citation (De nicola Pugliese) (Correct)
No context found.
L. Bettini, R. De Nicola, and R. Pugliese. Klava: a Java Package for Distributed and Mobile Applications. Software --- Practice and Experience, 32:1365--1394, 2002.
O'KLAIM: a coordination language with mobile mixins - Bettini, Bono, Venneri (2004) Self-citation (Bettini) (Correct)
No context found.
L. Bettini, R. De Nicola, and R. Pugliese. KLAVA: a Java package for distributed and mobile applications. Software -- Practice and Experience, 32(14):1365--1394, 2002.
A Semantic Theory for Global Computing Systems - Daniele Gorla Rosario (2003) Self-citation (Pugliese) (Correct)
No context found.
L. Bettini, R. De Nicola, and R. Pugliese. KLAVA: a Java Package for Distributed and Mobile Applications. Software --- Practice and Experience, 32:1365--1394, 2002.
A Java package for class and mixin mobility in a distributed.. - Bettini (2003) Self-citation (Bettini) (Correct)
No context found.
L. Bettini, R. De Nicola, and R. Pugliese. KLAVA: a Java package for distributed and mobile applications. Software -- Practice and Experience, 32(14):1365--1394, 2002.
A Semantic Theory for Global Computing Systems - Daniele Gorla Rosario (2003) Self-citation (Pugliese) (Correct)
No context found.
L. Bettini, R. De Nicola, and R. Pugliese. KLAVA: a Java Package for Distributed and Mobile Applications. Software --- Practice and Experience, 32:1365--1394, 2002.
O'KLAIM: a coordination language with mobile mixins - Bettini, Bono, Venneri (2004) Self-citation (Bettini) (Correct)
No context found.
L. Bettini, R. De Nicola, and R. Pugliese. Klava: a Java package for distributed and mobile applications. Software -- Practice and Experience, 32(14):1365--1394, 2002.
The Klaim Project: Theory and Practice - Bettini, Bono, De Nicola.. (2003) (1 citation) Self-citation (Bettini De nicola Pugliese) (Correct)
No context found.
L. Bettini, R. De Nicola, and R. Pugliese. Klava: a Java Package for Distributed and Mobile Applications. Software --- Practice and Experience, 32:1365--1394, 2002.
Resource Access and Mobility Control with Dynamic.. - Gorla, Pugliese (2003) (8 citations) Self-citation (Pugliese) (Correct)
No context found.
L. Bettini, R. De Nicola, and R. Pugliese. Klava: a Java Package for Distributed and Mobile Applications. Software --- Practice and Experience, 32:1365--1394, 2002.
A Semantic Theory for Global Computing Systems - Gorla, Pugliese (2004) Self-citation (Pugliese) (Correct)
No context found.
L. Bettini, R. De Nicola, and R. Pugliese. Klava: a Java Package for Distributed and Mobile Applications. Software --- Practice and Experience, 32:1365--1394, 2002.
MoMi - A Calculus for Mobile Mixins - Bettini, Bono, Venneri (2004) (2 citations) Self-citation (Bettini) (Correct)
No context found.
L. Bettini, R. De Nicola, and R. Pugliese. Klava: a Java package for distributed and mobile applications. Software -- Practice and Experience, 32(14):1365--1394, 2002.
Resource Access and Mobility Control with Dynamic Privileges.. - Gorla, Pugliese (2003) (8 citations) Self-citation (Pugliese) (Correct)
....experimental language specifically designed to program distributed systems made up of several mobile components interacting through multiple distributed tuple spaces, and its capability based type system [10] for controlling access to resources and mobility of processes. Klaim has been implemented [2] by exploiting Java and has proved to be suitable for programming a wide range of distributed applications with agents and code mobility. In Klaim, the network infrastructure is clearly distinguishable from user processes and explicitly modelled, which we believe gives a proper description of the ....
....process identifier A has a single defining equation A =P . Of course, process defining equations should migrate along with invoking processes; however, for the sake of simplicity, we do not explicitly model migration of defining equations (that could be implemented like class code migration in [2]) and assume that they are available at any locality of a net. Variables occurring in process terms can be bound by action prefixes in read newloc. For example, in( u : #) #. and newloc(u : #) bind u, while in( x) #. binds x. In process a.P , P is the scope of the binding made by a; we call ....
[Article contains additional citation context not shown here]
L. Bettini, R. De Nicola, and R. Pugliese. Klava: a Java Package for Distributed and Mobile Applications. Software --- Practice and Experience, 32:1365--1394, 2002.
Resource Access and Mobility Control with Dynamic Privileges.. - Gorla, Pugliese (2003) (8 citations) Self-citation (Pugliese) (Correct)
....programming notations enabling process distribution and mobility, in Klaim the network infrastructure is clearly distinguishable from user processes and explicitly modelled, which we believe gives a more accurate description of the computer systems we are interested to. Klaim has been implemented [4] by exploiting Java and has proved to be suitable for programming a wide range of distributed applications with agents and code mobility [16, 17] In conclusion, we think it is worthwhile to investigate the Klaim programming model, also because its peculiarity of not relying on channel based ....
....a single defining equation A # = P . Of course, process defining equations should migrate along with invoking processes; however, for the sake of simplicity, in the following we do not explicitly model migration of defining equations (that could be implemented like class code migration in [4]) and assume that they are available at any locality of a net. Remark 2. Process calculi usually exploit simpler treatments of recursive behaviours based on, e.g. the replication operator, that permits putting in parallel a countable infinite number of copies of a given process. This treatment ....
L. Bettini, R. De Nicola, and R. Pugliese. Klava: a Java Package for Distributed and Mobile Applications. Software --- Practice and Experience, 32:1365--1394, 2002.
IMC: Flexible Communication Protocol Support for Implementing.. - Lacoste (Correct)
No context found.
BETTINI, L., DE NICOLA, R., AND PUGLIESE, R. 2002. Klava : a Java Package for Distributed and Mobile Applications. Software - Practice and Experience 32, 14, 1365--1394.
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