La proliferación actual de sistemas concurrentes, en general debido al abaratamiento sustancial de poderosos sistemas de cómputo, y el auge, cada vez mayor, q

In extensive sense, the content of the book treats aspects related to the concurrent systems and distributed of investigators or lines of emerging work that hav

This book constitutes the refereed proceedings of the Third International Workshop on Databases in Networked Information Systems, DNIS 2003, held in Aizu, Japan

This book constitutes the refereed proceedings of the Third European Performance Engineering Workshop, EPEW 2006, held in Budapest, Hungary in June 2006. The 16

This book presents 8 tutorial survey papers by leading researchers who lectured at the 5th International School on Formal Methods for the Design of Computer, Co