G-Reactive Systems as Coalgebras
Under a Creative Commons license
open access
Keywords
Process calculus
labelled transition system
reactive systems
G-reactve systems
universal coalgebra
Cited by (0)
- 1
Research partially supported by the IST 2004-16004 SEnSOria, and the MIUR PRIN 2005015824 ART.
Copyright © 2008 Elsevier B.V.