Sasha Boulgakov

Sasha Boulgakov

Doctoral Student

Student, Merton College

Leaving date: 11th July 2017

Selected Publications

View AllManage publications

• FDR3: a parallel refinement checker for CSP

  Thomas Gibson−Robinson‚ Philip Armstrong‚ Alexandre Boulgakov and A.W. Roscoe

  In International Journal on Software Tools for Technology Transfer. 2015.

  Details about FDR3: a parallel refinement checker for CSP | BibTeX data for FDR3: a parallel refinement checker for CSP | DOI (10.1007/s10009-015-0377-y) | Link to FDR3: a parallel refinement checker for CSP

• Computing Maximal Bisimulations

  Alexandre Boulgakov‚ Thomas Gibson−Robinson and A.W. Roscoe

  In Formal Methods and Software Engineering − 16th International Conference on Formal Engineering Methods‚ ICFEM 2014‚ Proceedings. 2014.

  Details about Computing Maximal Bisimulations | BibTeX data for Computing Maximal Bisimulations | DOI (10.1007/978-3-319-11737-9_2) | Link to Computing Maximal Bisimulations

• FDR3 — A Modern Refinement Checker for CSP

  Thomas Gibson−Robinson‚ Philip Armstrong‚ Alexandre Boulgakov and A.W. Roscoe

  In Tools and Algorithms for the Construction and Analysis of Systems. Pages 187−201. 2014.

  Details about FDR3 — A Modern Refinement Checker for CSP | BibTeX data for FDR3 — A Modern Refinement Checker for CSP | Download Document.pdf of FDR3 — A Modern Refinement Checker for CSP | Download Samples.zip of FDR3 — A Modern Refinement Checker for CSP | DOI (10.1007/978-3-642-54862-8_13)