Finite-control mobile ambients
W Charatonik, AD Gordon, JM Talbot - European Symposium on …, 2002 - Springer
We define a finite-control fragment of the ambient calculus, a formalism for describing
distributed and mobile computations. A series of examples demonstrates the …
distributed and mobile computations. A series of examples demonstrates the …
[PDF][PDF] Finite-Control Mobile Ambients
W Charatonik, AD Gordon, JM Talbot - Citeseer
We define a finite-control fragment of the ambient calculus, a formalism for describing
distributed and mobile computations. A series of examples demonstrates the …
distributed and mobile computations. A series of examples demonstrates the …
[PDF][PDF] Finite-Control Mobile Ambients
W Charatonik, AD Gordon, JM Talbot - microsoft.com
We define a finite-control fragment of the ambient calculus, a formalism for describing
distributed and mobile computations. A series of examples demonstrates the …
distributed and mobile computations. A series of examples demonstrates the …
[引用][C] Finite-control mobile ambients
W CHARATONIK, AD GORDON… - Lecture notes in …, 2002 - pascal-francis.inist.fr
Finite-control mobile ambients CNRS Inist Pascal-Francis CNRS Pascal and Francis
Bibliographic Databases Simple search Advanced search Search by classification Search …
Bibliographic Databases Simple search Advanced search Search by classification Search …
Finite-Control Mobile Ambients
W Charatonik, AD Gordon, JM Talbot - Proceedings of the 11th …, 2002 - dl.acm.org
We define a finite-control fragment of the ambient calculus, a formalism for describing
distributed and mobile computations. A series of examples demonstrates the …
distributed and mobile computations. A series of examples demonstrates the …
Finite-Control Mobile Ambients
W Charatonik, AD Gordon, JM Talbot, D Le Métayer - ETAPS 2002, 2002 - pure.mpg.de
We define a finite-control fragment of the ambient calculus, a formalism for describing
distributed and mobile computations. A series of examples demonstrates the …
distributed and mobile computations. A series of examples demonstrates the …
Finite-Control Mobile Ambients
W Charatonik, AD Gordon, JM Talbot - Programming Languages and Systems - infona.pl
We define a finite-control fragment of the ambient calculus, a formalism for describing
distributed and mobile computations. A series of examples demonstrates the …
distributed and mobile computations. A series of examples demonstrates the …
Finite-Control Mobile Ambients
W Charatonik, AD Gordon, JM Talbot - Edited by G. Goos, J. Hartmanis …, 2002 - Springer
We define a finite-control fragment of the ambient calculus, a formal ism for describing
distributed and mobile computations. A series of examples demonstrates the …
distributed and mobile computations. A series of examples demonstrates the …
[PDF][PDF] Finite-Control Mobile Ambients
W Charatonik, AD Gordon, JM Talbot - ii.uni.wroc.pl
We define a finite-control fragment of the ambient calculus, a formalism for describing
distributed and mobile computations. A series of examples demonstrates the …
distributed and mobile computations. A series of examples demonstrates the …
Finite-Control Mobile Ambients
W Charatonik, AD Gordon… - … ESOP 2002, Held as Part of …, 2003 - books.google.com
We define a finite-control fragment of the ambient calculus, a formalism for describing
distributed and mobile computations. A series of examples demonstrates the …
distributed and mobile computations. A series of examples demonstrates the …