Bicategories of processes (1997)

by P Katis, N Sabadini, R F C Walters
Venue:Journal of Pure and Applied Algebra