Corrigendum: On infinite computations in denotational semantics

DOI10.1016/0304-3975(84)90019-7zbMATH Open0533.68020OpenAlexW4212950589MaRDI QIDQ789892FDOQ789892

Authors: J. W. de Bakker, John-Jules Meyer, Jeffery Zucker 

Publication date: 1984

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

Full work available at URL: https://doi.org/10.1016/0304-3975(84)90019-7

Recommendations

• Corrigendum to ``Semantics of a declarative language
• Correction to 'Representational and denotational semantics of digital systems'
• scientific article; zbMATH DE number 3888910
• scientific article; zbMATH DE number 1497801
• The infinite-valued semantics: overview, recent results and future directions
• CONTRACTION-FREE SEQUENT CALCULI FOR INTUITIONISTIC LOGIC: A CORRECTION
• Correction to ``Survey of generalizations of Urquhart semantics
• Corrigendum to “Kripke‐style semantics for many‐valued logics”
• Infinite computation, co-induction and computational logic
• Erratum to: ``Semantic completeness of first-order theories in constructive reverse mathematics

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Cited In (4)

• Merging regular processes by means of fixed-point theory
• Correction to 'Representational and denotational semantics of digital systems'
• A Case Study in Abstract Interpretation Based Program Transformation
• Corrigendum to: ``On the computing powers of \(\mathcal{L}\)-reductions of insertion languages

This page was built for publication: Corrigendum: On infinite computations in denotational semantics

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