A Coalgebraic Theory of Reactive Systems☆
Under a Creative Commons license
open access
Keywords
Reactive Systems
Coalgebras
Labeled Transition Systems
Cited by (0)
- ☆
Research partially supported by the IST 2004-16004 SEnSOria, and the MIUR PRIN 2005015824 ART.
Copyright © 2009 Elsevier B.V.