The following pages link to (Q4995379):
Displaying 9 items.
- A fully abstract model for the \(\pi\)-calculus. (Q1400720) (← links)
- An interpretation of \(\lambda \mu\)-calculus in \(\lambda\)-calculus. (Q1853149) (← links)
- An Output-Based Semantics of Λμ with Explicit Substitution in the π-Calculus (Q2915182) (← links)
- A Filter Model for the λμ-Calculus (Q3007668) (← links)
- (Q4365103) (← links)
- A fully abstract semantics for causality in the π-calculus (Q4596625) (← links)
- (Q4596786) (← links)
- Automata, Languages and Programming (Q5716865) (← links)
- A strong bisimulation for a classical term calculus (Q6563051) (← links)