We extend classical methods of computational complexity to the setting o...
We conduct a systematic study of asynchronous models of distributed comp...
We propose a formal model of distributed computing based on register aut...
Distributed automata are finite-state machines that operate on finite
di...
We prove the equivalence of two classes of counter machines and one clas...