Reactive systems over cospans (2005)

by V Sassone, P Sobociński
Venue:In Logic in Computer Science (LiCS ‘05