previous up next
Go backward to Properties of Bisimulation
Go up to Top
Go forward to Summary
RISC-Linz logo

Observation Congruence

Observation congruence is the equality of the process algebra.


Author: Wolfgang Schreiner
Last Modification: June 8, 1998

previous up next