Manufacturing enterprises are faced with an increasing global competition and dynamic markets. This development results in a need for more flexible manufacturing structures and the ability for global collaboration. In the curse of this, cross-functional information systems turn into an essential...

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.