Loading...
Please wait, while we are loading the content...
Similar Documents
Abstract BASS: Boxed Ambients with Safe Sessions ∗
| Content Provider | CiteSeerX |
|---|---|
| Author | Garralda, Pablo Compagnoni, Adriana |
| Abstract | We define BASS, a typed boxed ambients calculus with safe sessions. Sessions offer the possibility of using the same channel to transmit information of different types in a prescribed order. A session involves two communicating processes located either within the same ambient or across an ambient boundary. One of the challenges of adding session primitives to a mobile calculus is how to protect sessions from being interrupted by a mobility step. To address this challenge, we introduce a mechanism that prevents an ambient from moving, if there are pending sessions across its boundary. The main result of our development is that in a well-typed process a communication redex never disappears after a mobility step. In other words, the residual of a communication redex is present in the reduct of the original process enabling a pending session step to be completed. Therefore, we claim that sessions in our calculus are safe. |
| File Format | |
| Access Restriction | Open |
| Subject Keyword | Safe Session Boxed Ambients Abstract Bass Communication Redex Mobility Step Well-typed Process Communicating Process Typed Boxed Ambients Session Step Prescribed Order Ambient Boundary Original Process Mobile Calculus Session Primitive |
| Content Type | Text |
