Subash Shankar. A Semantic Framework for Formal Analysis of Concurrent Systems. In Hamid R. Arabnia, editor, Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, PDPTA 02, June 24 - 27, 2002, Las Vegas, Nevada, USA, Volume 2. pages 617-623, CSREA Press, 2002.
Abstract is missing.