The following pages link to Calculi for interaction (Q1901716):
Displaying 25 items.
- Shallow linear action graphs and their embeddings (Q699934) (← links)
- A thread calculus with molecular dynamics (Q988554) (← links)
- Closed action calculi (Q1575888) (← links)
- Dynamic connectors for concurrency (Q1603689) (← links)
- Comparing logics for rewriting: Rewriting logic, action calculi and tile logic (Q1608920) (← links)
- Locating reaction with 2-categories (Q1770420) (← links)
- A brief history of process algebra (Q1781995) (← links)
- Normal forms for algebras of connections. (Q1853455) (← links)
- Molecular interaction. (Q1853559) (← links)
- A generic type system for the pi-calculus (Q1884932) (← links)
- Variations on mobile processes (Q1960530) (← links)
- Dynamical systems and sheaves (Q2303775) (← links)
- Pure bigraphs: structure and dynamics (Q2490119) (← links)
- Explicit fusions (Q2566040) (← links)
- A categorical framework for typing CCS-style process communication (Q2841310) (← links)
- Deriving bisimulation congruences: a 2-categorical approach (Q2842606) (← links)
- Bigraphs and their algebra (Q2870188) (← links)
- The algebra of recursive graph transformation language UnCAL: complete axiomatisation and iteration categorical semantics (Q3130301) (← links)
- Two-dimensional linear algebra (Q4917040) (← links)
- Pseudo-commutative Monads (Q4917057) (← links)
- (Q5018485) (← links)
- Foundations of Software Science and Computational Structures (Q5705887) (← links)
- From rewrite rules to bisimulation congruences (Q5958468) (← links)
- Minimality and separation results on asynchronous mobile processes -- representability theorems by concurrent combinators (Q5958469) (← links)
- Elementary control structures (Q6104369) (← links)
