Timestamps for Programs Using Messages and Shared Variables.

Alessio Bechini, Kuo-Chung Tai

Browse the full ICDCS paper archive.