Full abstraction and recursion

DOI10.1016/0304-3975(95)00052-XMaRDI QIDQ1365671zbMATH OpenFDO

Authors Michael Mislove, Frank J. Oles

Publication date 9 September 1997

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0304-3975(95)00052-X

zbMATH Keywords

semantic models for a programming language

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Recommendations

• scientific article; zbMATH DE number 3976319
• scientific article; zbMATH DE number 194122
• Three inadequate models
• Fully abstract denotational models for nonuniform concurrent languages

Cites work

• A simple language supporting angelic nondeterminism and parallel composition
• A Syntactic Characterization of the Equality in Some Models for the Lambda Calculus
• Algebraic and fixed point equations over inverse limits of algebras
• Algebras, polynomials and programs
• An application of lattice theory to knowledge representation
• Countable nondeterminism and random assignment
• scientific article; zbMATH DE number 3958712 (Why is no real title available?)
• scientific article; zbMATH DE number 3707731 (Why is no real title available?)
• scientific article; zbMATH DE number 17698 (Why is no real title available?)
• scientific article; zbMATH DE number 48630 (Why is no real title available?)
• scientific article; zbMATH DE number 48723 (Why is no real title available?)
• scientific article; zbMATH DE number 3280068 (Why is no real title available?)
• Non-well-founded sets modeled as ideal fixed points
• Process Algebra
• Readies and Failures in the Algebra of Communicating Processes
• WHEN IS A CATEGORY OF MANY-SORTED ALGEBRAS CARTESIAN CLOSED?

Cited in

(5)

• Topology, domain theory and theoretical computer science
• A truly concurrent semantics for a process algebra using resource pomsets
• Abstract recursive utility
• Full Abstraction and the Context Lemma
• Fixed points without completeness

This page was built for publication: Full abstraction and recursion

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