Corrigendum: On infinite computations in denotational semantics

DOI10.1016/0304-3975(84)90019-7zbMath0533.68020OpenAlexW4212950589MaRDI QIDQ789892

J. W. de Bakker, John-Jules Ch. 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

Mathematics Subject Classification ID

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

Related Items (2)

Merging regular processes by means of fixed-point theory ⋮ A Case Study in Abstract Interpretation Based Program Transformation

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