Temporal Constraints for Concurrent Objects
Giuseppe Milicia, Vladimiro Sassone · Electronic Notes in Theoretical Computer Science · 2003
to refer to such problems [3].Commonly,in object oriented code,the set of messages accepted by anobject is not uniform in time. Depending on the object’s state,some of itsmethods will be unavailable,as e.g.,pop from a empty stack,orput on afull buffer. To avoid inconsistencies in a concurrent setting,programmersuse