From Annotated LOTOS Specifications to Queueing Networks: Automating Performance Models Derivation

Omar Hjiej, Abdelmalek Benzekri, Alberto Valderruten. From Annotated LOTOS Specifications to Queueing Networks: Automating Performance Models Derivation. In Michel Cosnard, Ramón Puigjaner, editors, Decentralized and Distributed Systems, Proceedings of the IFIP WG10.3 International Conference on Decentralized and Distributed Systems, Palma de Mallorca, Spain, 13-17 September 1993. Volume A-39 of IFIP Transactions, pages 401-412, North-Holland, 1993.

Abstract

Abstract is missing.