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.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.