Bisimulations and behaviour of nondeterministic automata

Cristian Calude, Elena Calude. Bisimulations and behaviour of nondeterministic automata. In Grzegorz Rozenberg, Wolfgang Thomas, editors, Developments in Language Theory, Foundations, Applications, and Perspectives, Aachen, Germany, 6-9 July 1999. pages 60-70, World Scientific, 1999.

Abstract

Abstract is missing.