SOME ASPECTS OF FOREIGN PRACTICE IN COUNTERACTING PREMEDITATED MURDERS BY CRIMINAL POLICE UNITS



Emptiness Problems for Distributed Automata

We investigate the Thermometers decidability of the emptiness problem for three classes of distributed automata.These devices operate on finite directed graphs, acting as networks of identical finite-state machines that communicate in an infinite sequence of synchronous rounds.The problem is shown to be decidable in LogSpace for a class of forgetfu

read more