The following pages link to Bicategories of processes (Q674474):
Displaying 10 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)
- Comparing cospan-spans and tiles via a Hoare-style process calculus (Q2841276) (← links)
- Van Kampen Colimits as Bicolimits in Span (Q2888497) (← links)
- Traces for coalgebraic components (Q3005989) (← links)
- Calculating Colimits Compositionally (Q3507390) (← links)
- Feedback, trace and fixed-point semantics (Q4787833) (← links)
- Towards compositional graph theory (Q5971395) (← links)
