Pages that link to "Item:Q1763728"
From MaRDI portal
The following pages link to On the representation of McCarthy's \(amb\) in the \(\pi\)-calculus (Q1763728):
Displaying 8 items.
- On generic context lemmas for higher-order calculi with sharing (Q960863) (← links)
- Closures of may-, should- and must-convergences for contextual equivalence (Q991760) (← links)
- On the representation of McCarthy's \(amb\) in the \(\pi\)-calculus (Q1763728) (← links)
- Observational program calculi and the correctness of translations (Q2339472) (← links)
- A call-by-need lambda calculus with locally bottom-avoiding choice: context lemma and correctness of transformations (Q3520145) (← links)
- Observing Success in the Pi-Calculus (Q5240185) (← links)
- Amb Breaks Well-Pointedness, Ground Amb Doesn't (Q5262940) (← links)
- Observational Semantics for a Concurrent Lambda Calculus with Reference Cells and Futures (Q5262945) (← links)
