Sequence Specification for Concurrent Object-Oriented Applications

Modeling synchronization among threads is important for the specification, design, and testing of concurrent object-oriented applications such as those written in Java. This paper proposes Synchron...