A Refinement Theory that Supports Reasoning About Knowledge and Time.

Kai Engelhardt, Ron van der Meyden, Yoram Moses

Browse the full LPAR paper archive.