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

DOI10.1016/j.tcs.2008.04.030zbMath1146.68018OpenAlexW2021199294MaRDI QIDQ935465

Luís Caires

Publication date: 6 August 2008

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2008.04.030

zbMATH Keywords

distributed systemsconcurrency controlbehavioral typesservice-based systemsspatial logics

Mathematics Subject Classification ID

Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Distributed systems (68M14)

Related Items (2)

Contracts for Mobile Processes ⋮ Conversation types

Uses Software

• SLMC
• KLAIM
• PIPER

Cites Work

• Resources, concurrency, and local reasoning
• Resource access control in systems of mobile agents
• A spatial logic for concurrency. II
• A spatial logic for concurrency. I
• A theory of primitive objects: Untyped and first-order systems
• Spatial-Behavioral Types, Distributed Services, and Resources
• Logical Semantics of Types for Concurrency
• Anytime, anywhere
• A generic type system for the Pi-calculus
• Types as models
• Resource usage analysis
• Foundations of Software Science and Computation Structures
• CONCUR 2004 - Concurrency Theory
• Footprints in Local Reasoning
• A calculus for concurrent objects
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Spatial-behavioral types for concurrency and resource control in distributed systems