Bisimulation and Language Equivalence

Colin Stirling. Bisimulation and Language Equivalence. In Ruy J. G. B. de Queiroz, editor, Logic for Concurrency and Synchronisation. Volume 18 of Trends in Logic, pages 269-284, Kluwer, 2003. [doi]

Abstract

Abstract is missing.