activity
20112025
most citedWeak Models of Distributed Computing, with Connections to Modal Logic

31 citations · 111 across the 33 of their papers we have counts for

collaborators
Showing 2012Show all

2 papers · 1 filter

math.LO2012

Undecidable First-Order Theories of Affine Geometries

Antti Kuusisto, Jeremy Meyers, Jonni Virtema

Tarski initiated a logic-based approach to formal geometry that studies first-order structures with a ternary betweenness relation (β) and a quaternary equidistance relation (\equi…

cs.DC2012★ 31 cited

Weak Models of Distributed Computing, with Connections to Modal Logic

Lauri Hella, Matti Järvisalo, Antti Kuusisto +5

This work presents a classification of weak models of distributed computing. We focus on deterministic distributed algorithms, and study models of computing that are weaker version…