Sequential algorithms as bistable maps

MaRDI QIDQ3400624zbMATH OpenFDO

Authors Pierre-Louis Curien

Publication date 5 February 2010

zbMATH Keywords

Cartwright-Curien-Felleisen modelobservably sequential algorithms

Mathematics Subject Classification ID

Data structures (68P05) General topics in the theory of algorithms (68W01)

Recommendations

• Bistable Biorders: A Sequential Domain Theory
• Computer Science Logic
• scientific article; zbMATH DE number 2182492
• Projecting sequential algorithms on strongly stable functions
• Sequential algorithms for unbounded nondeterminism

Cited in

(3)

• Computer Science Logic
• Bistable Biorders: A Sequential Domain Theory
• Sequential algorithms for unbounded nondeterminism

This page was built for publication: Sequential algorithms as bistable maps

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