Markov Models are of outstanding importance in the performance and reliability evaluation of computer systems and communication networks. In this paper we aim at contributing to the field of Markovian Process Algebras (MPAs). An MPA model is (or may be) the composition of several concurrent...

This ICB Research Report constitutes the proceedings of the first workshop on Monitoring, Adaptation and Beyond (MONA+ 2008), which was held on December 13, 2008 in Madrid, Spain. MONA+ has been collocated with the ServiceWave 2008 conference.