Author:
Bowles Juliana,Kloul Leïla
Publisher
Springer International Publishing
Reference19 articles.
1. Lecture Notes in Computer Science;H. Baumeister,2003
2. Bernardo, M., Gorrieri, R.: A tutorial on EMPA: a theory of concurrent processes with nondeterminism, priorities, probabilities and time. TCS 202, 1–54 (1998)
3. Bowles, J., Kloul, L.: Synthesising PEPA nets from IODs for performance analysis. In: WOSP/SIPEW 2010, pp. 195–200. ACM (2010)
4. Canevet, C., Gilmore, S., Hillston, J., Kloul, L., Stevens, P.: Analysing UML 2.0 activity diagrams in the software performance engineering process. In: WOSP 2004, Short Papers, pp. 74–78. ACM (2004)
5. Canevet, C., Gilmore, S., Hillston, J., Prowse, M., Stevens, P.: Performance modelling with UML and stochastic process algebras. IEE Proceedings: Computers and Digital Techniques 150(2), 107–120 (2003)