Corrigendum: On infinite computations in denotational semantics
From MaRDI portal
Publication:789892
DOI10.1016/0304-3975(84)90019-7zbMath0533.68020MaRDI 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
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items
A Case Study in Abstract Interpretation Based Program Transformation, Merging regular processes by means of fixed-point theory