A Refinement Based Strategy for Local Deadlock Analysis of Networks of CSP Processes
Pedro R. G. Antonino‚ Augusto Sampaio and Jim Woodcock
Book Title
FM 2014: Formal Methods − 19th International Symposium‚ Singapore‚ May 12−16‚ 2014. Proceedings
Pages
62–77
Year
2014