Deciding Bisimulation Equivalences for a Class of Non-Finite-State Programs

• 1 December 1993
• journal article
• Published by Elsevier in Information and Computation
• Vol. 107  (2) , 272-302
• https://doi.org/10.1006/inco.1993.1069

Abstract

Keywords

• FINITE STATE
• STATE PROGRAMS
• DECIDING BISIMULATION EQUIVALENCES
• CLASS