@inbook{Antonino2017,
  title = "The Automatic Detection of Token Structures and Invariants Using SAT Checking",
  author = "Antonino, Pedro and Gibson-Robinson, Thomas and Roscoe, A. W.",
  year = "2017",
  address = "Berlin, Heidelberg",
  booktitle = "Tools and Algorithms for the Construction and Analysis of Systems: 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part II",
  editor = "Legay, Axel and Margaria, Tiziana",
  isbn = "978-3-662-54580-5",
  pages = "249--265",
  publisher = "Springer Berlin Heidelberg",
  url = "http://dx.doi.org/10.1007/978-3-662-54580-5_15",
  doi = "10.1007/978-3-662-54580-5_15",
}
@article{morestatic,
  title = "Tighter reachability criteria for deadlock freedom analysis",
  author = "Pedro Antonino and Thomas Gibson-Robinson and A.W. Roscoe",
  year = "2016",
  booktitle = "Proceedings of FM 2016",
}
@inproceedings{pedrodeadlock,
  title = "Efficient deadlock-freedom checking using local analysis and SAT solving",
  author = "Pedro Antonino and Thomas Gibson-Robinson and A.W. Roscoe",
  year = "2016",
  booktitle = "Proceedings of IFM",
}
@inproceedings{AntoninoOSKB14,
  title = "Leadership Election: An Industrial SoS Application of Compositional Deadlock Verification",
  author = "Pedro R. G. Antonino and Marcel Vinicius Medeiros Oliveira and Augusto Sampaio and Klaus E. Kristensen and Jeremy W. Bryans",
  year = "2014",
  booktitle = "{NASA} Formal Methods - 6th International Symposium, {NFM} 2014, Houston, TX, USA, April 29 - May 1, 2014. Proceedings",
  pages = "31--45",
  url = "http://dx.doi.org/10.1007/978-3-319-06200-6_3",
  doi = "10.1007/978-3-319-06200-6_3",
}
@inproceedings{AntoninoSW14,
  title = "A Refinement Based Strategy for Local Deadlock Analysis of Networks of {CSP} Processes",
  author = "Pedro R. G. Antonino and Augusto Sampaio and Jim Woodcock",
  year = "2014",
  booktitle = "{FM} 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. Proceedings",
  pages = "62--77",
  url = "http://dx.doi.org/10.1007/978-3-319-06410-9_5",
  doi = "10.1007/978-3-319-06410-9_5",
}
@inproceedings{DihegoAS13,
  title = "Algebraic Laws for Process Subtyping",
  author = "Jos{\'{e}} Dihego and Pedro R. G. Antonino and Augusto Sampaio",
  year = "2013",
  booktitle = "Formal Methods and Software Engineering - 15th International Conference on Formal Engineering Methods, {ICFEM} 2013, Queenstown, New Zealand, October 29 - November 1, 2013, Proceedings",
  pages = "4--19",
  url = "http://dx.doi.org/10.1007/978-3-642-41202-8_2",
  doi = "10.1007/978-3-642-41202-8_2",
}