Explora la arquitectura de protocolos paralelos mediante invariantes matemáticos; el texto ofrece un enfoque riguroso y ejemplos claros para diseñar sistemas concurrentes seguros y eficientes.