1
Assuntos:
“...Deadlock freedom...”
A refinement based strategy for locally verifying networks of CSP processes
Dissertação