Using Atoms to Simplify Distributed Programs Checking.

Hon Fung Li, Eslam Al Maghayreh, Dhrubajyoti Goswami

Browse the full DASC paper archive.