Another fully abstract graph semantics for the ambient calculus

Carregant...
Miniatura
El pots comprar en digital a:
El pots comprar en paper a:

Projectes de recerca

Unitats organitzatives

Número de la revista

Títol de la revista

ISSN de la revista

Títol del volum

Col·laborador

Editor

Tribunal avaluador

Realitzat a/amb

Tipus de document

Report de recerca

Data publicació

Editor

Condicions d'accés

Accés obert

item.page.rightslicense

Tots els drets reservats. Aquesta obra està protegida pels drets de propietat intel·lectual i industrial corresponents. Sense perjudici de les exempcions legals existents, queda prohibida la seva reproducció, distribució, comunicació pública o transformació sense l'autorització de la persona titular dels drets

Assignatures relacionades

Assignatures relacionades

Publicacions relacionades

Datasets relacionats

Datasets relacionats

Projecte CCD

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.

Descripció

Persones/entitats

Document relacionat

Versió de

Citació

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

Ajut

Forma part

LSI-07-20-R

DOI

Dipòsit legal

ISBN

ISSN

Versió de l'editor

Altres identificadors

Referències