Skip to content

Linking Algebraic Observational Equivalence and Bisimulation.

Mouhebeddine Berrima, Narjes Ben Rajeb

VenueCDLT
Year2010
ProceedingsDevelopments in Language Theory

Browse the full DLT paper archive.