Bicategories of Processes (Katis, Sabadini, Walters, 1997)Last updated Feb 3, 2024bicategories of processes and lax dinaturalityRelatedSpan(Graph), a Canonical Feedback Algebra of Open Transition Systems (Di Lavore et al)A Canonical Algebra of Open Transition Systems (Di Lavore et al)Tags: Automata, Processes