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...

Descripción completa

Detalles Bibliográficos
Autores: Mylonakis Pascual, Nicolás|||0000-0002-2535-8573, Orejas Valdés, Fernando|||0000-0002-3023-4006
Tipo de recurso: informe técnico
Fecha de publicación:2007
País:España
Institución:Universitat Politècnica de Catalunya (UPC)
Repositorio:UPCommons. Portal del coneixement obert de la UPC
Idioma:inglés
OAI Identifier:oai:upcommons.upc.edu:2117/86224
Acceso en línea:https://hdl.handle.net/2117/86224
Access Level:acceso abierto
Palabra clave:Process algebra
Graph transformation
Àrees temàtiques de la UPC::Informàtica::Informàtica teòrica
id ES_bc2f5862e58578d4de89ddfcbbf820d7
oai_identifier_str oai:upcommons.upc.edu:2117/86224
network_acronym_str ES
network_name_str España
repository_id_str
spelling Another fully abstract graph semantics for the ambient calculusMylonakis Pascual, Nicolás|||0000-0002-2535-8573Orejas Valdés, Fernando|||0000-0002-3023-4006Process algebraGraph transformationÀrees temàtiques de la UPC::Informàtica::Informàtica teòricaThe 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.20072007-06-0120162016-04-27reporthttp://purl.org/coar/resource_type/c_93fcVoRhttp://purl.org/coar/version/c_970fb48d4fbd8a85info:eu-repo/semantics/reportapplication/pdfhttps://hdl.handle.net/2117/86224reponame:UPCommons. Portal del coneixement obert de la UPCinstname:Universitat Politècnica de Catalunya (UPC)Inglésengopen accesshttp://purl.org/coar/access_right/c_abf2info:eu-repo/semantics/openAccessoai:upcommons.upc.edu:2117/862242026-05-27T15:37:01Z
dc.title.none.fl_str_mv Another fully abstract graph semantics for the ambient calculus
title Another fully abstract graph semantics for the ambient calculus
spellingShingle Another fully abstract graph semantics for the ambient calculus
Mylonakis Pascual, Nicolás|||0000-0002-2535-8573
Process algebra
Graph transformation
Àrees temàtiques de la UPC::Informàtica::Informàtica teòrica
title_short Another fully abstract graph semantics for the ambient calculus
title_full Another fully abstract graph semantics for the ambient calculus
title_fullStr Another fully abstract graph semantics for the ambient calculus
title_full_unstemmed Another fully abstract graph semantics for the ambient calculus
title_sort Another fully abstract graph semantics for the ambient calculus
dc.creator.none.fl_str_mv Mylonakis Pascual, Nicolás|||0000-0002-2535-8573
Orejas Valdés, Fernando|||0000-0002-3023-4006
author Mylonakis Pascual, Nicolás|||0000-0002-2535-8573
author_facet Mylonakis Pascual, Nicolás|||0000-0002-2535-8573
Orejas Valdés, Fernando|||0000-0002-3023-4006
author_role author
author2 Orejas Valdés, Fernando|||0000-0002-3023-4006
author2_role author
dc.subject.none.fl_str_mv Process algebra
Graph transformation
Àrees temàtiques de la UPC::Informàtica::Informàtica teòrica
topic Process algebra
Graph transformation
Àrees temàtiques de la UPC::Informàtica::Informàtica teòrica
description 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.
publishDate 2007
dc.date.none.fl_str_mv 2007
2007-06-01
2016
2016-04-27
dc.type.none.fl_str_mv report
http://purl.org/coar/resource_type/c_93fc
VoR
http://purl.org/coar/version/c_970fb48d4fbd8a85
dc.type.openaire.fl_str_mv info:eu-repo/semantics/report
format report
dc.identifier.none.fl_str_mv https://hdl.handle.net/2117/86224
url https://hdl.handle.net/2117/86224
dc.language.none.fl_str_mv Inglés
eng
language_invalid_str_mv Inglés
language eng
dc.rights.none.fl_str_mv open access
http://purl.org/coar/access_right/c_abf2
dc.rights.openaire.fl_str_mv info:eu-repo/semantics/openAccess
rights_invalid_str_mv open access
http://purl.org/coar/access_right/c_abf2
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.source.none.fl_str_mv reponame:UPCommons. Portal del coneixement obert de la UPC
instname:Universitat Politècnica de Catalunya (UPC)
instname_str Universitat Politècnica de Catalunya (UPC)
reponame_str UPCommons. Portal del coneixement obert de la UPC
collection UPCommons. Portal del coneixement obert de la UPC
repository.name.fl_str_mv
repository.mail.fl_str_mv
_version_ 1869418091162632192
score 15,300719

Similares en LA Referencia