Anthony Y. Chang, Jason C. Hung. An Integrated Temporal Composition Model for Synchronization Specification. In 17th International Conference on Advanced Information Networking and Applications (AINA 03), March 27-29, 2003, Xi an, China. pages 189-193, IEEE Computer Society, 2003. [doi]
Abstract is missing.