Amanote Research

Amanote Research

    RegisterSign In

Discover open access scientific publications

Search, annotate, share and cite publications


Publications by Paulo Verissimo

Byzantine Consensus in Asynchronous Message-Passing Systems: A Survey

International Journal of Critical Computer-Based Systems
Computer Science
2011English

On the Effects of Finite Memory on Intrusion-Tolerant Systems

2007English

Related publications

Equations for Asynchronous Message Passing

Fundamenta Informaticae
Information SystemsAlgebraNumber TheoryMathematicsComputational TheoryTheoretical Computer Science
2013English

Limiting Byzantine Influence in Multihop Asynchronous Networks

2012English

Combinators for Message-Passing in Haskell

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Constant-Space Localized Byzantine Consensus

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
English

Time-Free Authenticated Byzantine Consensus

2010English

Conditions on Input Vectors for Consensus Solvability in Asynchronous Distributed Systems

2001English

Brief Announcement: A Leader-Free Byzantine Consensus Algorithm

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2009English

A Static Type System for Message Passing

ACM SIGPLAN Notices
1991English

Recent Advances in the Message Passing Interface

International Journal of High Performance Computing Applications
HardwareTheoretical Computer ScienceArchitectureSoftware
2014English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy