Antonino, Pedro; Gibson-Robinson, Thomas; Roscoe, A. W. Efficient verification of concurrent systems using local-analysis-based approximations and SAT solving. (English) Zbl 1425.68285 Formal Asp. Comput. 31, No. 3, 375-409 (2019). MSC: 68Q85 68Q60 68T20 PDFBibTeX XMLCite \textit{P. Antonino} et al., Formal Asp. Comput. 31, No. 3, 375--409 (2019; Zbl 1425.68285) Full Text: DOI
Llorens, M.; Oliver, J.; Silva, J.; Tamarit, S. Tracking CSP computations. (English) Zbl 1408.68037 J. Log. Algebr. Methods Program. 102, 138-175 (2019). MSC: 68N30 68Q85 PDFBibTeX XMLCite \textit{M. Llorens} et al., J. Log. Algebr. Methods Program. 102, 138--175 (2019; Zbl 1408.68037) Full Text: DOI Link
Cleaveland, Rance; Roscoe, A. W.; Smolka, Scott A. Process algebra and model checking. (English) Zbl 1392.68243 Clarke, Edmund M. (ed.) et al., Handbook of model checking. Cham: Springer (ISBN 978-3-319-10574-1/hbk; 978-3-319-10575-8/ebook). 1149-1195 (2018). MSC: 68Q60 68Q85 PDFBibTeX XMLCite \textit{R. Cleaveland} et al., in: Handbook of model checking. Cham: Springer. 1149--1195 (2018; Zbl 1392.68243) Full Text: DOI