The following pages link to (Q4266484):
Displaying 7 items.
- Encoding cryptographic primitives in a calculus with polyadic synchronisation (Q540687) (← links)
- A behavioural theory for a \(\pi\)-calculus with preorders (Q890617) (← links)
- A stable non-interleaving early operational semantics for the pi-calculus (Q2423752) (← links)
- Genericity and the \(\pi\)-calculus (Q2576663) (← links)
- (Q4417854) (← links)
- (Q4536393) (← links)
- (Q5089301) (← links)