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 (6)

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

This page was built for publication: Spatial-Behavioral Types, Distributed Services, and Resources