01.02.2015
Weak models of distributed computing, with connections to modal logic
Erschienen in: Distributed Computing | Ausgabe 1/2015
EinloggenAktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
Abstract
-
\({\mathsf {VV}}\): Input port \(i\) and output port \(i\) are not necessarily connected to the same neighbour.
-
\(\mathsf{MV}\): Input ports are not numbered; algorithms receive a multiset of messages.
-
\(\mathsf{SV}\): Input ports are not numbered; algorithms receive a set of messages.
-
\(\mathsf{VB}\): Output ports are not numbered; algorithms send the same message to all output ports.
-
\(\mathsf{MB}\): Combination of \(\mathsf{MV}\) and \(\mathsf{VB}\).
-
\(\mathsf{SB}\): Combination of \(\mathsf{SV}\) and \(\mathsf{VB}\).