Bicategories of Processes (Katis, Sabadini, Walters, 1997)Last updated Aug 7, 2023Bicategories 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