Publication | Open Access

An efficient algorithm for computing bisimulation equivalence

EngineeringMechanical VerificationComputer EngineeringFormal MethodsComputer-aided VerificationComputational ComplexityParallel ProgrammingComputer ScienceEquivalence CheckingFormal VerificationBisimulation Equivalence