1
Assuntos:
“...Ausência de deadlocks...”
A refinement based strategy for locally verifying networks of CSP processes
Dissertação