Spatial-behavioral types for concurrency and resource control in distributed systems

Research output: Contribution to journalArticlepeer-review

18 Citations (Scopus)
8 Downloads (Pure)

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.

Original languageEnglish
Pages (from-to)120-141
Number of pages22
JournalTheoretical Computer Science
Volume402
Issue number2-3
DOIs
Publication statusPublished - 8 Aug 2008

Keywords

  • Behavioral types
  • Concurrency control
  • Distributed systems
  • Service-based systems
  • Spatial logics

Fingerprint

Dive into the research topics of 'Spatial-behavioral types for concurrency and resource control in distributed systems'. Together they form a unique fingerprint.

Cite this