Reactive systems over cospans (0)

by V Sassone, P Sobociński
Venue:In Proc. of LICS ’05. Pp. 311–320. IEEE, 2005. 13 / 13 Volume 41 (2011