Sciweavers

CONCUR
1998
Springer

A Categorical Axiomatics for Bisimulation

14 years 3 months ago
A Categorical Axiomatics for Bisimulation
Gian Luca Cattani, John Power, Glynn Winskel
Added 05 Aug 2010
Updated 05 Aug 2010
Type Conference
Year 1998
Where CONCUR
Authors Gian Luca Cattani, John Power, Glynn Winskel
Comments (0)