Improving scalability of exploratory model checking за авторством Boulgakov, A

Computing maximal weak and other bisimulations за авторством Roscoe, A, Boulgakov, A, Gibson-Robinson, T

FDR3 — A Modern Refinement Checker for CSP за авторством Gibson−Robinson, T, Armstrong, P, Boulgakov, A, Roscoe, A