Reversible and Irreversible Computations of Deterministic Finite-State Devices.

Martin Kutrib

Browse the full MFCS paper archive.