Processes

Last updated Feb 3, 2024

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