An Overview Using a Case Study

[1]  Leslie Lamport,et al.  Disk Paxos , 2003, Distributed Computing.

[2]  Leslie Lamport,et al.  The temporal logic of actions , 1994, TOPL.

[3]  Leslie Lamport,et al.  What Good is Temporal Logic? , 1983, IFIP Congress.