3. Una visión general de PROMELA
Los modelos PROMELA se basan en los aspectos de coordinación y sincronización de un sistema distribuido, y no en sus aspectos computacionales. Hay algunas buenas razones para esta elección. En primer lugar, el diseño y la verificación de las estructuras de coordinación…