Reversible Limited Automata.

Martin Kutrib, Matthias Wendlandt

Browse the full MCU paper archive.