A continuous semantics for unbounded nondeterminism

DOI10.1016/0304-3975(83)90055-5zbMath0498.68005OpenAlexW2073622611WikidataQ127343003 ScholiaQ127343003MaRDI QIDQ1171370

Ralph-Johan Back

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)90055-5

zbMATH Keywords

operational semanticsdenotational semantic for programming languagesiterative programming languageprogram execution trees

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) General topics in the theory of software (68N01)

Related Items (9)

Merging regular processes by means of fixed-point theory ⋮ Infinite streams and finite observations in the semantics of uniform concurrency ⋮ Applications of compactness in the Smyth powerdomain of streams ⋮ Hiding in stream semantics of uniform concurrency ⋮ Step semantics for ``true concurrency with recursion ⋮ A continuous semantics for unbounded nondeterminism ⋮ Nonexpressibility of fairness and signaling ⋮ Constructive design of a hierarchy of semantics of a transition system by abstract interpretation ⋮ Nondeterministic semantics of compound diagrams

Cites Work

• Semantics of nondeterminism, concurrency, and communication
• Proving total correctness of nondeterministic programs in infinitary logic
• A continuous semantics for unbounded nondeterminism
• A Powerdomain Construction
• Initial Algebra Semantics and Continuous Algebras
• 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

This page was built for publication: A continuous semantics for unbounded nondeterminism