Abstract
Computing is considered pervasive and distributed nowadays. Computing Systems take part in different sectors of the society and interact to improve our life quality. Concurrent programming takes part in such systems, offering primitives for the interaction (communication and synchronization) of processes. These primitives are widely used and are responsible for defects that are difficult …