A Concurrent, Specification Language over CML

Mourad Debbabi. A Concurrent, Specification Language over CML. In Hamid R. Arabnia, editor, Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, PDPTA 1995, November 3-4, 1995, Georgia, USA. pages 541-550, CSREA Press, 1995.

Abstract

Abstract is missing.