Spatial-Behavioral Types, Distributed Services, and Resources
From MaRDI portal
Publication:3608455
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
Cites work
- scientific article; zbMATH DE number 1231693 (Why is no real title available?)
- A calculus for concurrent objects
- A generic type system for the \(\pi\)-calculus
- A spatial logic for concurrency. I
- A spatial logic for concurrency. II
- A theory of primitive objects: Untyped and first-order systems
- Anytime, anywhere: modal logics for mobile ambients
- CONCUR 2004 - Concurrency Theory
- Ownership types for object encapsulation
- Resource access control in systems of mobile agents
- Resource usage analysis
- Types as models: model checking message-passing programs
Cited in
(6)- Deciding safety properties in infinite-state pi-calculus via behavioural types
- Objects and session types
- The Conversation Calculus: A Model of Service-Oriented Computation
- 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
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)