| Cop+Dez+Gio:2006 (Article)
|
| Author(s) | Mario Coppo, Mariangiola Dezani-Ciancaglini and Elio Giovannetti |
| Title | « Types for Ambient and Process Mobility » |
| Journal | Mathematical Structures in Computer Science |
| Volume | 18 |
| Page(s) | 221-290 |
| Year | 2008 |
| PDF | http://www.di.unito.it/˜dezani/papers/cdg06.pdf |
| Abstract |
| A new kind of ambient calculus is presented, where the open capability is replaced by direct mobility of generic processes. The calculus comes equipped with a labelled transition system in which types play a major role: this system allows us to show interesting algebraic laws. Types express, as usual, the communication, access and mobility properties of the modelled system; inferred types express the minimal constraints required for the system to well behave. |
@article{Cop+Dez+Gio:2006,
volume = {18},
pdf = {http://www.di.unito.it/~dezani/papers/cdg06.pdf},
author = {Mario Coppo and Mariangiola {Dezani-Ciancaglini} and Elio
Giovannetti},
title = {{Types for Ambient and Process Mobility}},
abstract = {A new kind of ambient calculus is presented, where the open
capability is replaced by direct mobility of generic processes.
The calculus comes equipped with a labelled transition system in
which types play a major role: this system allows us to show
interesting algebraic laws. Types express, as usual, the
communication, access and mobility properties of the modelled
system; inferred types express the minimal constraints required
for the system to well behave. },
year = {2008},
pages = {221-290},
journal = {Mathematical Structures in Computer Science},
}
This document was generated by bib2html 3.3.
(Modified by Luca Paolini, under the GNU General Public License)
