Para acceder a los documentos con el texto completo, por favor, siga el siguiente enlace: http://hdl.handle.net/2117/86224
Título:
|
Another fully abstract graph semantics for the ambient calculus
|
Autor/a:
|
Mylonakis Pascual, Nicolás; Orejas Valdés, Fernando
|
Otros autores:
|
Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics |
Abstract:
|
The long-term aim of this work is the definition of a framework for the modelling and development of distributed mobile component-based applications. As a first step we provide a fully abstract graph semantics for the ambient calculus which is more appropriate for our purposes than the existing ones. In particular, in our encoding, the graph representing an ambient calculus expression embeds faithfully the ambient structure underlying the given expression. |
Materia(s):
|
-Àrees temàtiques de la UPC::Informàtica::Informàtica teòrica -Process algebra -Graph transformation |
Derechos:
|
|
Tipo de documento:
|
Artículo - Versión publicada Informe |
Compartir:
|
|
Mostrar el registro completo del ítem