Show simple item record

dc.contributor.authorMylonakis Pascual, Nicolás
dc.contributor.otherUniversitat Politècnica de Catalunya. Departament de Ciències de la Computació
dc.identifier.citationMylonakis, N. "A graph semantics for a variant of the ambient calculus more adequate for modeling SOC". 2017.
dc.description.abstractIn this paper we present a graph semantics of a variant of the well known ambient calculus. The main change of our variant is to extract the mobility commands of the original calculus from the ambient topology. Similar to a previous work of ours, we prove that our encoding have good properties. We strongly believe that this variant would allow us to integrate our graph semantics of our mobile calculus with previous work of us in service oriented computing (SOC). Basically, our work on SOC develops a new graph transformation system which we call temporal symbolic graphs. This new graph formalism is used to give semantics to a design language for SOC developed in an european project, but it could also be used in connection with other approaches for modeling or specifying service systems.
dc.format.extent13 p.
dc.subjectÀrees temàtiques de la UPC::Informàtica::Informàtica teòrica
dc.subject.lcshGraph theory
dc.subject.otherMobile calculus
dc.subject.otherGraph transformation
dc.subject.otherService oriented computing
dc.titleA graph semantics for a variant of the ambient calculus more adequate for modeling SOC
dc.typeExternal research report
dc.subject.lemacGrafs, Teoria de
dc.rights.accessOpen Access
dc.description.versionPostprint (published version)
local.citation.authorMylonakis, N.

Files in this item


This item appears in the following Collection(s)

Show simple item record

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