Sciweavers

TCS
2002
15 years 3 months ago
A coalgebraic equational approach to specifying observational structures
A coalgebraic, equational approach to the speci
Corina Cîrstea