Towards a refinement theory that supports reasoning about knowledge and time for multiple agents
Kai Engelhardt · Electronic Notes in Theoretical Computer Science · 2002
We report on some progress made in a project that has as its main goal to devise a distributed system refinement calculus with an assertion language that can express epistemic as well as temporal notions.