trace equivalence versus bisimulation

Last updated Feb 3, 2024

• trace equivalence
• bisimulation
• Model Checking (Bauer, Katoen, 2008)