A Refinement Based Strategy for Local Deadlock Analysis of Networks of CSP Processes.

Pedro R. G. Antonino, Augusto Sampaio, Jim Woodcock

Browse the full FM paper archive.