Process Algebra and Performance Modelling (PAPM’99). 7 th. International Workshop. Zaragoza, Spain, September 1999. Proceedings

Las álgebras de proceso se emplean desde hace dos décadas para modelar y analizar funcionalmente sistemas complejos. Recientemente se han propuesto extensiones estocásticas de estos modelos con el objetivo de evaluar prestaciones. Las características de tales lenguajes (estructura formalmente definida, interpretación vía modelos semánticos y relaciones de equivalencia bien definidas) ofrecen nuevas posibilidades al modelado de prestaciones. El libro recoge los nueve trabajos seleccionados del Seventh International Workshop on Process Algebra and Performance Modelling, celebrado en Zaragoza en 1999.