Lung-Pin Chen, Meng-Yuan Ho, Jhen-You Hong. Identifying Useless States in Non-FIFO Distributed Computations by Using Pseudo Timestamps. In The 10th International Symposium on Pervasive Systems, Algorithms, and Networks, ISPAN 2009, Kaohsiung, Taiwan, December 14-16, 2009. pages 52-56, IEEE Computer Society, 2009. [doi]
Abstract is missing.