**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)