On Modal Refinement and Consistency

Abstract. Almost 20 years after the original conception, we revisit several fundamental questions about modal transition systems. First, we demonstrate the incompleteness of the standard modal refinement using a counterexample due to H

• Type: Conference
• Year: 2007
• Where: CONCUR
• Authors: Kim Guldstrand Larsen, Ulrik Nyman, Andrzej Wasowski
• Keywords: CONCUR 2007, Distributed And Parallel Computing, Modal Refinement, Modal Transition Systems, Standard Modal Refinement