Article,

Reactive systems, (semi-)saturated semantics and coalgebras on presheaves.

, and .
Theor. Comput. Sci., 410 (41): 4044-4066 (2009)

Meta data

Tags

Users

  • @dblp

Comments and Reviews