Sciweavers

68
Voted
TCS
2002
14 years 8 months ago
A coalgebraic equational approach to specifying observational structures
A coalgebraic, equational approach to the speci
Corina Cîrstea