Sasha Boulgakov : Publications

Click here to download all publications in a single bibtex file

@article{FDR3Journal,
  title = "FDR3: a parallel refinement checker for CSP",
  author = "Thomas Gibson-Robinson and Philip Armstrong and Alexandre Boulgakov and A.W. Roscoe",
  year = "2015",
  journal = "International Journal on Software Tools for Technology Transfer",
  url = "http://dx.doi.org/10.1007/s10009-015-0377-y",
  doi = "10.1007/s10009-015-0377-y",
}

@inproceedings{ComputingMaximalBisimulations,
  title = "Computing Maximal Bisimulations",
  author = "Alexandre Boulgakov and Thomas Gibson-Robinson and A.W. Roscoe",
  year = "2014",
  booktitle = "Formal Methods and Software Engineering - 16th International Conference on Formal Engineering Methods, {ICFEM} 2014, Proceedings",
  url = "http://dx.doi.org/10.1007/978-3-319-11737-9_2",
  doi = "10.1007/978-3-319-11737-9_2",
}

@inproceedings{fdr3,
  title = "FDR3 — A Modern Refinement Checker for CSP",
  author = "Thomas Gibson-Robinson and Philip Armstrong and Alexandre Boulgakov and A.W. Roscoe",
  year = "2014",
  booktitle = "Tools and Algorithms for the Construction and Analysis of Systems",
  pages = "187-201",
  doi = "10.1007/978-3-642-54862-8_13",
}