Sciweavers

CALCO
2007
Springer

Deriving Bisimulation Congruences with Borrowed Contexts

13 years 9 months ago
Deriving Bisimulation Congruences with Borrowed Contexts
Barbara König
Added 07 Jun 2010
Updated 07 Jun 2010
Type Conference
Year 2007
Where CALCO
Authors Barbara König
Comments (0)