The following pages link to (Q4536373):
Displaying 16 items.
- Name-passing calculi: from fusions to preorders and types (Q342734) (← links)
- A behavioural theory for a \(\pi\)-calculus with preorders (Q890617) (← links)
- Pict correctness revisited (Q1004056) (← links)
- LMNtal as a hierarchical logic programming language (Q1035709) (← links)
- Linear forwarders (Q2384926) (← links)
- Pure bigraphs: structure and dynamics (Q2490119) (← links)
- Concurrent nets: a study of prefixing in process calculi (Q2491636) (← links)
- Explicit fusions (Q2566040) (← links)
- The Expressive Power of Monotonic Parallel Composition (Q2802500) (← links)
- A categorical framework for typing CCS-style process communication (Q2841310) (← links)
- Modelling Calculi with Name Mobility using Graphs with Equivalences (Q2867900) (← links)
- An Algebra for Directed Bigraphs (Q2870313) (← links)
- Symmetries and Dualities in Name-Passing Process Calculi (Q2944898) (← links)
- (Q5141619) (← links)
- Psi-calculi in Isabelle (Q5890661) (← links)
- A generic type system for higher-order \(\Psi\)-calculi (Q6614878) (← links)
