On the Herbrand-Kleene universe for nondeterministic computations

DOI10.1016/0304-3975(85)90027-1zbMath0567.68024OpenAlexW2087183363MaRDI QIDQ1060011

Manfred Broy

Publication date: 1985

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

Full work available at URL: https://doi.org/10.1016/0304-3975(85)90027-1

zbMATH Keywords

algebraic semanticsinfinite treenondeterminismset-valued functionalgebraic domainspowerdomaincommunication diagramHerbrand-Kleene interpretationnondeterministic choice operatornondeterministic recursive equations

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)

Related Items

Unnamed Item

Cites Work

• Partial abstract types
• Power domains
• A Powerdomain Construction
• Unnamed Item
• Unnamed Item
• Unnamed Item