Reactive systems over cospans (2005)

by V Sassone, P Sobociński
Venue:In Proc. of LICS’05, 311–320. IEEE