bicategories of processes and lax dinaturality Related Span(Graph), a Canonical Feedback Algebra of Open Transition Systems (Di Lavore et al) A Canonical Algebra of Open Transition Systems (Di Lavore, Gianola, Roman, Sabadini, Sobocinski, 2021) Tags: Automata, Processes