Processes

Last updated Aug 7, 2023

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