Much ado about nothing?

DOI10.1016/J.ENTCS.2005.12.082MaRDI QIDQ5262962zbMATH OpenOpenAlexFDO

Authors Rachele Fuzzati, Uwe Nestmann

Publication date 10 July 2015

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.entcs.2005.12.082

zbMATH Keywords

verificationdistributed algorithmsprocess calculi

Mathematics Subject Classification ID

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

Recommendations

• Modeling consensus in a process calculus.
• Distributed consensus, revisited
• A Fault Tolerance Bisimulation Proof for Consensus (Extended Abstract)
• An algebra of processes
• States in process calculi

Cites work

• Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation
• Modeling consensus in a process calculus.
• Unreliable failure detectors for reliable distributed systems

Cited in

(9)

• Modeling consensus in a process calculus.
• Much Ado about Zero
• Distributed event algebras
• Algebraic specification and proof of a distributed recovery algorithm
• States in process calculi
• scientific article; zbMATH DE number 6538210 (Why is no real title available?)
• Much ado about nothing
• scientific article; zbMATH DE number 94709 (Why is no real title available?)
• More ado about nothing

This page was built for publication: Much ado about nothing?

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