scientific article; zbMATH DE number 1479626

MaRDI QIDQ4490739zbMATH OpenFDO

Authors Davide Sangiorgi

Publication date 20 July 2000

Mathematics Subject Classification ID

Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Locality and interleaving semantics in calculi for mobile processes
• Relationally staged computations in calculi of mobile processes
• Distribution and locality of concurrent systems
• On locality and the exchange law for concurrent processes
• Non-interleaving semantics for mobile processes
• Locality and checkability in wait-free computing
• Locality and checkability in wait-free computing
• scientific article; zbMATH DE number 140261
• scientific article; zbMATH DE number 1236365
• Resources, concurrency, and local reasoning

Cited in

(8)

• Bisimulation and coinduction enhancements: a historical perspective
• Causality for mobile processes
• Causality and true concurrency: A data-flow analysis of the Pi-Calculus
• scientific article; zbMATH DE number 7407797 (Why is no real title available?)
• Equations, contractions, and unique solutions
• Concurrent and Located Synchronizations in π-Calculus
• Logical Mobility and Locality Types
• Locality and interleaving semantics in calculi for mobile processes

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4490739)