Model checking of causal knowledge formulas (1999)

by W PENCZEK, S AMBROSZKIEWICZ
Venue:In Workshop on Distributed Systems (WDS’99). Electronic Notes in Theoretical Computer Science