previous up next
Go backward to Strong Congruence
Go up to Top
Go forward to Weak Bisimulation and Observation Equivalence
RISC-Linz logo

Bisimulation and Observation Equivalence


Author: Wolfgang Schreiner
Last Modification: June 8, 1998

previous up next