Performance Description and Analysis for Distributed Systems Using a Variant of LOTOS

Nathalie Rico, Gregor von Bochmann. Performance Description and Analysis for Distributed Systems Using a Variant of LOTOS. In Bengt Jonsson, Joachim Parrow, Björn Pehrson, editors, Protocol Specification, Testing and Verification XI, Proceedings of the IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification, Stockholm, Sweden, 18-20 June 1991. pages 199-213, North-Holland, 1991.

Abstract

Abstract is missing.