Article,

A coalgebraic equational approach to specifying observational structures.

.
Theor. Comput. Sci., 280 (1-2): 35-68 (2002)

Meta data

Tags

Users

  • @dblp

Comments and Reviews