Bicategories of processes (1997)

by P Katis, N Sabadini, R F C Walters
Venue:J. Pure Appl. Algebra