Carregant...
Carregant...

Vés al contingut (premeu Retorn)

A graph semantics for a variant of the ambient calculus more adequate for modeling SOC

Autor
Mylonakis, N.
Tipus d'activitat
Document cientificotècnic
Data
2017-02-07
Projecte finançador
TIN2013-46181-C2-1-R
Repositori
http://hdl.handle.net/2117/100667 Obrir en finestra nova
Resum
In 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 devel...
Citació
Mylonakis, N. "A graph semantics for a variant of the ambient calculus more adequate for modeling SOC". 2017.
Paraules clau
Graph transformation, Mobile calculus, SOC, Service oriented computing

Participants

Arxius