Concurrency: State Models & Java Programs
1999·divulgacion
Este libro introduce el modelado de sistemas concurrentes utilizando modelos de estados y transiciones, y luego aplica estos conceptos a la implementación de programas concurrentes en Java. Se enfatiza en la verificación y la comprensión formal del comportamiento concurrente.