The following pages link to Bicategories of processes (Q674474):
Displaying 16 items.
- A basic algebra of stateless connectors (Q860881) (← links)
- Dynamic connectors for concurrency (Q1603689) (← links)
- Comparing logics for rewriting: Rewriting logic, action calculi and tile logic (Q1608920) (← links)
- Normal forms for algebras of connections. (Q1853455) (← links)
- On classifying processes (Q2565932) (← links)
- Comparing cospan-spans and tiles via a Hoare-style process calculus (Q2841276) (← links)
- Van Kampen Colimits as Bicolimits in Span (Q2888497) (← links)
- Chains-into-Bins Processes (Q3000519) (← links)
- Traces for coalgebraic components (Q3005989) (← links)
- Calculating Colimits Compositionally (Q3507390) (← links)
- Props in Network Theory (Q4585017) (← links)
- Feedback, trace and fixed-point semantics (Q4787833) (← links)
- (Q4968384) (← links)
- Towards compositional graph theory (Q5971395) (← links)
- Monoidal streams for dataflow programming (Q6649486) (← links)
- Automata and coalgebras in categories of species (Q6666774) (← links)