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. |
Year | DOI | Venue |
---|---|---|
2008 | 10.1016/j.tcs.2008.04.030 | Theor. Comput. Sci. |
Keywords | DocType | Volume |
type structure,where a parallel composition type operator expresses resource independence,behavioral types spatial logics concurrency control distributed systems service-based systems a b s t r a c t 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,Concurrency control,resource synchronization,Spatial logics,resource ownership,resource independence,Service-based systems,asequentialcompositiontypeoperatorexpressesresourcesynchronization,Spatial-behavioral type,Behavioral types,resource control,resource usage,parallel composition type operator,Distributed systems,sequential composition type operator,resource sensitive model,type modality,type system | Journal | 402 |
Issue | ISSN | Citations |
2-3 | Theoretical Computer Science | 11 |
PageRank | References | Authors |
0.64 | 23 | 1 |
Name | Order | Citations | PageRank |
---|---|---|---|
Luís Caires | 1 | 1037 | 63.30 |