On Modal Refinement and Consistency.

Kim Guldstrand Larsen, Ulrik Nyman, Andrzej Wasowski

Browse the full CONCUR paper archive.