Reachability in Distributed Memory Automata.

Benedikt Bollig, Fedor Ryabinin, Arnaud Sangnier

Browse the full CSL paper archive.