Localities and failures (extended summary)

DOI10.1007/3-540-58715-2_126MaRDI QIDQ4470506zbMATH OpenFDO

Authors Roberto M. Amadio, Sanjiva Prasad

Publication date 1 July 2004

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-58715-2_126

Mathematics Subject Classification ID

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

Cited in

(15)

• A behavioural theory of first-order CML
• On modelling mobility
• Types for access control
• Actor languages. Their syntax, semantics, translation, and equivalence
• An object based algebra for specifying a fault tolerant software architecture
• Resource access control in systems of mobile agents
• Abstractions for fault-tolerant global computing
• Linear forwarders
• Types for the ambient calculus
• A theory for observational fault tolerance
• Extensionality of spatial observations in distributed systems
• A semantics preserving actor translation
• Distributed processes and location failures
• Self-similarity breeds resilience
• A theory of system behaviour in the presence of node and link failure

This page was built for publication: Localities and failures (extended summary)

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