Another fully abstract graph semantics for the ambient calculus
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...
| Authors: | , |
|---|---|
| Format: | report |
| Publication Date: | 2007 |
| Country: | España |
| Institution: | Universitat Politècnica de Catalunya (UPC) |
| Repository: | UPCommons. Portal del coneixement obert de la UPC |
| Language: | English |
| OAI Identifier: | oai:upcommons.upc.edu:2117/86224 |
| Online Access: | https://hdl.handle.net/2117/86224 |
| Access Level: | Open access |
| Keyword: | Process algebra Graph transformation Àrees temàtiques de la UPC::Informàtica::Informàtica teòrica |
| Summary: | 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. |
|---|