Spatial-Behavioral Types, Distributed Services, and Resources
From MaRDI portal
Publication:3608455
DOI10.1007/978-3-540-75336-0_7zbMATH Open1211.68026OpenAlexW1544127920MaRDI QIDQ3608455FDOQ3608455
Authors: 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
Recommendations
- Spatial-behavioral types for concurrency and resource control in distributed systems
- scientific article; zbMATH DE number 1250622
- Spatial and behavioral types in the pi-calculus
- Spatial and Behavioral Types in the Pi-Calculus
- Extensionality of spatial observations in distributed systems
- Semantic structures for spatially-distributed multi-agent systems
- Distributed spatial catalog service on the CORBA object bus
Distributed systems (68M14) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Cites Work
- CONCUR 2004 - Concurrency Theory
- Resource access control in systems of mobile agents
- A spatial logic for concurrency. I
- Anytime, anywhere: modal logics for mobile ambients
- Types as models: model checking message-passing programs
- Ownership types for object encapsulation
- A generic type system for the \(\pi\)-calculus
- Title not available (Why is that?)
- A calculus for concurrent objects
- Resource usage analysis
- A spatial logic for concurrency. II
- A theory of primitive objects: Untyped and first-order systems
Cited In (6)
- Deciding safety properties in infinite-state pi-calculus via behavioural types
- The Conversation Calculus: A Model of Service-Oriented Computation
- Objects and session types
- Spatial and behavioral types in the pi-calculus
- Spatial-behavioral types for concurrency and resource control in distributed systems
- Co-algebraic models for quantitative spatial logics
Uses Software
This page was built for publication: Spatial-Behavioral Types, Distributed Services, and Resources
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3608455)
