A carregar...
Publicação
Spatial-behavioral types for concurrency and resource control in distributed systems
| Nome: | Descrição: | Tamanho: | Formato: | |
|---|---|---|---|---|
| 1.96 MB | Adobe PDF |
Autores
Orientador(es)
Resumo(s)
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.
Descrição
We would like to thank Luca Cardelli, Peter O’Hearn, Vasco Vasconcelos, Etienne Lozes and Gianluigi Ferrari for related discussions. We acknowledge CITI, Project POSC/55582/2004 SpaceTimeTypes, and IP Sensoria.
Palavras-chave
Behavioral types Concurrency control Distributed systems Service-based systems Spatial logics Theoretical Computer Science General Computer Science