Sciweavers

FOSSACS
2003
Springer

Deriving Bisimulation Congruences: 2-Categories Vs Precategories

15 years 2 months ago
Deriving Bisimulation Congruences: 2-Categories Vs Precategories
Vladimiro Sassone, Pawel Sobocinski
Added 06 Jul 2010
Updated 06 Jul 2010
Type Conference
Year 2003
Where FOSSACS
Authors Vladimiro Sassone, Pawel Sobocinski
Comments (0)