Reactive systems over cospans. (2005)

by V Sassone, P Sobocinski
Venue:In Proc. of LICS ’05.