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.

Authors

Omar Hjiej

This author has not been identified. Look up 'Omar Hjiej' in Google

Abdelmalek Benzekri

This author has not been identified. Look up 'Abdelmalek Benzekri' in Google

Alberto Valderruten

This author has not been identified. Look up 'Alberto Valderruten' in Google