Bicategories of Processes (Katis, Sabadini, Walters, 1997) bicategories of processes and lax dinaturality Decorating bicategories of processes Quotient of IO transition systems