Hon Fung Li, Eslam Al Maghayreh, Dhrubajyoti Goswami. Using Atoms to Simplify Distributed Programs Checking. In Third IEEE International Symposium on Dependable, Autonomic and Secure Computing, DASC 2007, Columbia, MD, USA, September 25-26, 2007. pages 75-83, IEEE Computer Society, 2007. [doi]
Abstract is missing.