A domain equation for refinement of partial systems

DOI10.1017/S0960129504004268MaRDI QIDQ4818935zbMATH OpenOpenAlexFDO

Authors Michael Huth, Radha Jagadeesan, David A. Schmidt

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)

Recommendations

• Refinement is complete for implementations
• On Modal Refinement and Consistency
• scientific article; zbMATH DE number 1670751
• Topological analysis of refinement
• scientific article; zbMATH DE number 2209335

Cited in

(6)

• On the expressiveness of refinement settings
• On the consistency, expressiveness, and precision of partial modeling formalisms
• On model checking multiple hybrid views
• Towards a descriptive set theory for domain-like structures
• Labelled transition systems as a Stone space
• Multi-valued verification of strategic ability

Describes a project that uses

Uses Software

• Alcoa
• SPIN

This page was built for publication: A domain equation for refinement of partial systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4818935)