Recommendations
Cited in
(31)- An improvement on the discrepancy in the implementation of modus ponens
- Modal event-clock specifications for timed component-based design
- Refinement checking on parametric modal transition systems
- Refinement is complete for implementations
- On refinements of Boolean and parametric modal transition systems
- Topological analysis of refinement
- The complexity of one-agent refinement modal logic
- Modal process rewrite systems
- A modal interface theory with data constraints
- Checking Thorough Refinement on Modal Transition Systems Is EXPTIME-Complete
- 20 years of modal and mixed specifications.
- On the expressiveness of refinement settings
- Modal and mixed specifications: key decision problems and their complexities
- Taming Modal Impredicativity: Superlazy Reduction
- Refinement and Consistency of Timed Modal Specifications
- A domain equation for refinement of partial systems
- Modal Aggregation and the Theory of Paraconsistent Filters
- Rough and Near: Modal History of Two Theories
- EXPTIME-complete decision problems for modal and mixed specifications
- Parametric and quantitative extensions of modal transition systems
- Complexity of Decision Problems for Mixed and Modal Specifications
- Interface theories for concurrency and data
- Safe reasoning with logic LTS
- Constraint Markov chains
- Minimal refinements of specifications in modal and temporal logics
- Simulation relations and applications in formal methods
- On the consistency, expressiveness, and precision of partial modeling formalisms
- Coherent modal transition systems refinement
- EXPTIME-completeness of thorough refinement on modal transition systems
- Hypercontracts
- The complexity of one-agent refinement modal logic
This page was built for publication: On Modal Refinement and Consistency
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3525632)
