Spatial-Behavioral Types, Distributed Services, and Resources

DOI10.1007/978-3-540-75336-0_7MaRDI QIDQ3608455zbMATH OpenOpenAlexFDO

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

Mathematics Subject Classification ID

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

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

Describes a project that uses

Uses Software

• PIPER
• SLMC

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)