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