CONCUR 2005 – Concurrency Theory
From MaRDI portal
Publication:5897495
DOI10.1007/11539452zbMath1134.68340OpenAlexW1737342522MaRDI QIDQ5897495
Matthew C. B. Hennessy, Adrian Francalanza
Publication date: 1 November 2006
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11539452
Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Distributed systems (68M14) Reliability, testing and fault tolerance of networks and computer systems (68M15)
Related Items (8)
Basic observables for a calculus for global computing ⋮ A theory for observational fault tolerance ⋮ Adding recursion to Dpi ⋮ A theory of system behaviour in the presence of node and link failure ⋮ A calculus of quality for robustness against unreliable communication ⋮ An observational theory for mobile ad hoc networks (full version) ⋮ Extensionality of Spatial Observations in Distributed Systems ⋮ An Observational Theory for Mobile Ad Hoc Networks
Uses Software
This page was built for publication: CONCUR 2005 – Concurrency Theory
