Paper Info
Title
Spatial-behavioral types, distributed services, and resources
Abstract
We develop a notion of spatial-behavioral typing suitable to discipline interactions in service-based systems modeled in a distributed object calculus. Our type structure reflects a resource aware model of behavior, where a parallel composition type operator expresses resource independence, a sequential composition type operator expresses implicit synchronization, and a modal operator expresses resource ownership. 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.
Year
DOI
Venue
2006
10.1007/978-3-540-75336-0_7
TGC
Keywords
Field
DocType
system modeling,type system,distributed objects
Logical relations,Distributed object,Synchronization,Computer science,Modal operator,Theoretical computer science,Composition operator,Operator (computer programming),Soundness,Distributed services,Distributed computing
Conference
Volume
ISSN
ISBN
4661
0302-9743
3-540-75333-8
Citations 
PageRank 
References 
8
0.65
15
Authors
1
Name
Order
Citations
PageRank
Luís Caires1103763.30