Closures of may-, should- and must-convergences for contextual equivalence

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

zbMATH Keywords

formal semanticsprogramming calculiprogram correctness

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Related Items

Observing Success in the Pi-Calculus ⋮ Observational program calculi and the correctness of translations

Uses Software

• Fudgets

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