Bicategories of processes

1997/02/01 by P. Katis, Piergiulio Katis, N. Sabadini +2 · 4 citations
Computer Science · #Computability, Logic, AI Algorithms #semigroups and automata theory #Logic, programming, and type systems

paper · doi:10.1016/s0022-4049(96)00012-6

Cited by

• On Automata with Boundary
• Calculating Colimits Compositionally
• Cospans and spans of graphs: a categorical algebra for the sequential and parallel composition of discrete systems
• The parallel composition of processes