Reactive systems over cospans (2005)

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