Barry B. Brey
-
Performance analysis of communication systems formally specified in SDL
Proceedings of the 1st international workshop on Software and performance