Characterization and Derivation of Heard-Of Predicates for Asynchronous Message-Passing Models

Title
Characterization and Derivation of Heard-Of Predicates for Asynchronous Message-Passing Models
Authors
Keywords
-
Journal
Logical Methods in Computer Science
Volume Volume 17, Issue 3, Issue -, Pages -
Publisher
Centre pour la Communication Scientifique Directe (CCSD)
Online
2021-09-20
DOI
10.46298/lmcs-17(3:26)2021

Ask authors/readers for more resources

Find the ideal target journal for your manuscript

Explore over 38,000 international journals covering a vast array of academic fields.

Search

Become a Peeref-certified reviewer

The Peeref Institute provides free reviewer training that teaches the core competencies of the academic peer review process.

Get Started