Marsha Chechik, Hai Wang. Bisimulation analysis of SDL-expressed protocols: a case study. In Stephen A. MacKay, J. Howard Johnson, editors, Proceedings of the 2000 conference of the Centre for Advanced Studies on Collaborative Research, November 13-16, 2000, Mississauga, Ontario, Canada. pages 2, IBM, 2000. [doi]
Abstract is missing.