An object based algebra for specifying a fault tolerant software architecture

DOI10.1016/j.jlap.2004.05.006zbMath1080.68013OpenAlexW1974982013WikidataQ54479698 ScholiaQ54479698MaRDI QIDQ1779322

Mauro Gaspari, Nicola Dragoni

Publication date: 1 June 2005

Published in: The Journal of Logic and Algebraic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jlap.2004.05.006

zbMATH Keywords

Process algebraFault toleranceObject-oriented designSoftware architecturesActors

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items

An infrastructure to support cooperation of knowledge-level agents on the semantic grid

Cites Work

• A calculus of mobile processes. II
• Concurrency and knowledge-level communication in agent languages
• Formally Verifying Fault Tolerant System Designs
• Functions as processes
• A foundation for actor computation
• Unreliable failure detectors for reliable distributed systems
• Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation
• CONCUR 2003 - Concurrency Theory
• Distributed processes and location failures
• A calculus of mobile agents
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item