Inherent limitations facilitate design and verification of concurrent programs Hagit Attiya Technion.