Closures of may-, should- and must-convergences for contextual equivalence
From MaRDI portal
Publication:991760
DOI10.1016/j.ipl.2010.01.001zbMath1209.68308OpenAlexW2069515903MaRDI QIDQ991760
David Sabel, Manfred Schmidt-Schauss
Publication date: 7 September 2010
Published in: Information Processing Letters (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.ipl.2010.01.001
Related Items
Observing Success in the Pi-Calculus ⋮ Observational program calculi and the correctness of translations
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Fair testing
- On the representation of McCarthy's \(amb\) in the \(\pi\)-calculus
- Erratic Fudgets: A semantic theory for an embedded coordination language
- A call-by-need lambda calculus with locally bottom-avoiding choice: context lemma and correctness of transformations
- Divergence and fair testing
- Observational Semantics for a Concurrent Lambda Calculus with Reference Cells and Futures
- A non-deterministic call-by-need lambda calculus