Another fully abstract graph semantics for the ambient calculus

Mylonakis Pascual, Nicolás; Orejas Valdés, Fernando

View/Open

R07-20.pdf (148,7Kb)

View UPCommons Usage Statistics

LA Referencia / Recolecta stats

Cita com:

Show full item record

Mylonakis Pascual, Nicolás

Orejas Valdés, Fernando

Document typeResearch report

Defense date2007-06

Rights accessOpen Access

All rights reserved. This work is protected by the corresponding intellectual and industrial property rights. Without prejudice to any existing legal exemptions, reproduction, distribution, public communication or transformation of this work are prohibited without permission of the copyright holder

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.

CitationMylonakis, N., Orejas, F. "Another fully abstract graph semantics for the ambient calculus". 2007.

Is part ofLSI-07-20-R

URIhttp://hdl.handle.net/2117/86224

Collections

Departament de Ciències de la Computació - Reports de recerca [1.108]

View UPCommons Usage Statistics

Show full item record

Files	Description	Size	Format	View
R07-20.pdf		148,7Kb	PDF	View/Open

UPCommons. Global access to UPC knowledge

Another fully abstract graph semantics for the ambient calculus

View/Open

Browse