Bisimilarity of processes with finite-state systems

Petr Jancar, AntonĂ­n Kucera. Bisimilarity of processes with finite-state systems. Electronic Notes in Theoretical Computer Science, 9:41, 1997. [doi]

Abstract

Abstract is missing.