Clock Synchronization (Distributed computing)
Time clocks and the ordering of events
Martha Rogers
Synchronization Dr. Yingwu Zhu Distributed Computing.
Synchronization
Automatic Verification of Finite-State Concurrent Systems Using Temporal Logic Specifications 1.
Stacking-Based Visualization of Trajectory Attribute Data
S TACKING -B ASED V ISUALIZATION OF T RAJECTORY A TTRIBUTE D ATA IEEE TRANSACTIONS ON VISUALIZATION AND COMPUTER GRAPHICS, DECEMBER 2012 Authors: 1.Christian.
Incorporating Prior Information in Causal Discovery Rodney O'Donnell, Jahangir Alam, Bin Han, Kevin Korb and Ann Nicholson.
Eric MadelaineOSCAR Workshop -- Santiago Nov. 2004 Verification of Distributed Applications Eric Madelaine work with Isabelle Attali, Tomás Barros, Rabéa.
CS6133 Software Specification and Verification
Authors: E.M. Clarke , E.A. Emerson, A. P. Sistla Presented by Anjana Chatta