Place bisimulation equivalences for design of concurrent and sequential systems

Igor V. Tarasyuk. Place bisimulation equivalences for design of concurrent and sequential systems. Electronic Notes in Theoretical Computer Science, 18:191-206, 1998. [doi]

Abstract

Abstract is missing.