Spatial-Behavioral Types, Distributed Services, and Resources

DOI10.1007/978-3-540-75336-0_7zbMath1211.68026OpenAlexW1544127920MaRDI QIDQ3608455

Luís Caires

Publication date: 5 March 2009

Published in: Trustworthy Global Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-75336-0_7

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Distributed systems (68M14)

Related Items

Deciding safety properties in infinite-state pi-calculus via behavioural types, Spatial and behavioral types in the pi-calculus, Spatial-behavioral types for concurrency and resource control in distributed systems, The Conversation Calculus: A Model of Service-Oriented Computation, Objects and session types, Co-Algebraic Models for Quantitative Spatial Logics

Uses Software

• SLMC
• PIPER

Cites Work

• Unnamed Item
• 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
• Ownership types for object encapsulation
• Anytime, anywhere
• A generic type system for the Pi-calculus
• Types as models
• Resource usage analysis
• CONCUR 2004 - Concurrency Theory
• A calculus for concurrent objects