Sasha Boulgakov : Publications
-
[1]
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
-
[2]
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
-
[3]
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)