Yamin Wang, Ramakrishna V. Vishnuvajjala, Wei-Tek Tsai. Sequence specification for concurrent object-oriented applications. In 3rd Workshop on Object-Oriented Real-Time Dependable Systems (WORDS '97), 5-7 February 1997, Newport Beach, CA, USA. pages 163-170, IEEE Computer Society, 1997. [doi]
Abstract is missing.