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

DOI10.1016/J.IPL.2010.01.001MaRDI QIDQ991760zbMATH OpenOpenAlexFDO

Authors David Sabel, Manfred Schmidt-Schauß

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 semanticsprogram correctnessprogramming calculi

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Cites work

• A call-by-need lambda calculus with locally bottom-avoiding choice: context lemma and correctness of transformations
• A non-deterministic call-by-need lambda calculus
• Divergence and fair testing
• Erratic Fudgets: A semantic theory for an embedded coordination language
• Fair testing
• scientific article; zbMATH DE number 1241702 (Why is no real title available?)
• scientific article; zbMATH DE number 755666 (Why is no real title available?)
• scientific article; zbMATH DE number 2090728 (Why is no real title available?)
• Observational semantics for a concurrent lambda calculus with reference cells and futures
• On the representation of McCarthy's amb in the -calculus

Cited in

(3)

• Observational program calculi and the correctness of translations
• Observing success in the pi-calculus
• Minimal translations from synchronous communication to synchronizing locks

Describes a project that uses

Uses Software

• Fudgets

This page was built for publication: Closures of may-, should- and must-convergences for contextual equivalence

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q991760)