33 citations · 99 across the 17 of their papers we have counts for
Showing 2012Show all
2 papers · 1 filter
cs.LO2012★ 33 cited
Refinement Modal Logic
Laura Bozzelli, Hans van Ditmarsch, Tim French +2
In this paper we present {\em refinement modal logic}. A refinement is like a bisimulation, except that from the three relational requirements only `atoms' and `back' need to be sa…
cs.SE2012★ 1 cited
Verifying Real-time Commit Protocols Using Dense-time Model Checking Technology
Omar I. Al-Bataineh, Mark Reynolds
The timed-based automata model, introduced by Alur and Dill, provides a useful formalism for describing real-time systems. Over the last two decades, several dense-time model check…