Spatial-behavioral types for concurrency and resource control in distributed systems |
| |
Authors: | Luí s Caires, |
| |
Affiliation: | aCITI / Departamento de Informática, Universidade Nova de Lisboa, Portugal |
| |
Abstract: | We develop a notion of spatial-behavioral typing suitable to discipline concurrent interactions and resource usage in distributed object systems. Our type structure reflects a resource sensitive model, where a parallel composition type operator expresses resource independence, a sequential composition type operator expresses resource synchronization, and a type modality expresses resource ownership. We model the intended computational systems using a concurrent object calculus. Soundness of our type system is established using a logical relations technique, building on a interpretation of types as properties expressible in a spatial logic. |
| |
Keywords: | Behavioral types Spatial logics Concurrency control Distributed systems Service-based systems |
本文献已被 ScienceDirect 等数据库收录! |
|