A domain equation for refinement of partial systems

DOI10.1017/S0960129504004268zbMath1085.68090OpenAlexW2129901741MaRDI QIDQ4818935

David A. Schmidt, Radha Jagadeesan, Michael Huth

Publication date: 24 September 2004

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s0960129504004268

Mathematics Subject Classification ID

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

Towards a descriptive set theory for domain-like structures ⋮ On the consistency, expressiveness, and precision of partial modeling formalisms ⋮ On model checking multiple hybrid views ⋮ Multi-valued Verification of Strategic Ability

Uses Software

• SPIN
• Alcoa