On infinite computations in denotational semantics
From MaRDI portal
Publication:1051414
DOI10.1016/0304-3975(83)90079-8zbMath0514.68018OpenAlexW2156580025MaRDI QIDQ1051414
J. W. de Bakker, Jeffery Zucker, John-Jules Ch. Meyer
Publication date: 1983
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0304-3975(83)90079-8
Related Items (2)
Hiding in stream semantics of uniform concurrency ⋮ Constructive design of a hierarchy of semantics of a transition system by abstract interpretation
Cites Work
- Metric interpretations of infinite trees and semantics of non deterministic recursive programs
- Adherences of languages
- First-order dynamic logic
- A Powerdomain Construction
- Programming as a Discipline of Mathematical Nature
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: On infinite computations in denotational semantics
