Jing Liu, Jin Song Dong, Jing Sun. TRMCS in TCOZ. In Proceedings of the 10th International Workshop on Software Specification and Design, Shelter Island, San Diego, California, USA, November 5-7, 2000. pages 63-74, IEEE Computer Society, 2000. [doi]
Abstract is missing.