Generated models and the ω-rule: The nondeterministic case

DOI10.1007/3-540-59293-8_211zbMath1496.68252OpenAlexW1551572372MaRDI QIDQ5096747

Sigurd Meldal, Michał Walicki

Publication date: 18 August 2022

Published in: TAPSOFT '95: Theory and Practice of Software Development (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-59293-8_211

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (1)

Quantifier-free logic for multialgebraic theories

Cites Work

• Non-deterministic data types: Models and implementations
• Rewriting with a nondeterministic choice operator
• A calculus of communicating systems
• IO and OI. I
• IO and OI. II
• Power domains
• Countable nondeterminism and random assignment
• The Semantics of Call-By-Value and Call-By-Name in a Nondeterministic Environment
• A Powerdomain Construction
• Singular and Plural Nondeterministic Parameters
• A mathematical approach to nondeterminism in data types
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• 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: Generated models and the ω-rule: The nondeterministic case