Reactive Systems over Cospans (2010)

by V Sassone, P Sobociński
Venue:In LICS. Pp. 311–320. 2005. 13 / 13 Volume