Article contents
Types for ambient and process mobility†
Published online by Cambridge University Press: 01 April 2008
Abstract
We present a new kind of ambient calculus in which 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. As usual, types express the communication, access and mobility properties of the modelled system, and inferred types express the minimal constraints required for the system to be well behaved.
- Type
- Paper
- Information
- Copyright
- Copyright © Cambridge University Press 2008
References
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20151022124517568-0613:S0960129508006658_char1.gif?pub-status=live)
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20151022124517568-0613:S0960129508006658_char2.gif?pub-status=live)
- 3
- Cited by