Checking Distributed Programs with Partially Ordered Atoms.

Hon Fung Li, Eslam Al Maghayreh

Browse the full APSEC paper archive.