publications:
- title: "Formal Specification of Correlation in WS Orchestrations Using BP-calculus"
  author:
  - name: "Faisal Abouzaid"
    link: "http://www.labunix.uqam.ca/~k30600"
  - name: "John Mullins"
    link: "https://researchr.org/alias/john-mullins"
  year: "2010"
  doi: "http://dx.doi.org/10.1016/j.entcs.2009.12.029"
  links:
    doi: "http://dx.doi.org/10.1016/j.entcs.2009.12.029"
  researchr: "https://researchr.org/publication/AbouzaidM10"
  cites: 0
  citedby: 0
  journal: "Electronic Notes in Theoretical Computer Science"
  volume: "260"
  pages: "3-24"
  kind: "article"
  key: "AbouzaidM10"
- title: "A Calculus for Generation, Verification and Refinement of BPEL Specifications"
  author:
  - name: "Faisal Abouzaid"
    link: "http://www.labunix.uqam.ca/~k30600"
  - name: "John Mullins"
    link: "https://researchr.org/alias/john-mullins"
  year: "2008"
  doi: "http://dx.doi.org/10.1016/j.entcs.2008.04.092"
  links:
    doi: "http://dx.doi.org/10.1016/j.entcs.2008.04.092"
  tags:
  - "refinement"
  - "BPEL"
  researchr: "https://researchr.org/publication/AbouzaidM08"
  cites: 0
  citedby: 0
  journal: "Electronic Notes in Theoretical Computer Science"
  volume: "200"
  number: "3"
  pages: "43-65"
  kind: "article"
  key: "AbouzaidM08"
- title: "Toward a Pi-Calculus Based Verification Tool for Web Services Orchestrations"
  author:
  - name: "Faisal Abouzaid"
    link: "http://www.labunix.uqam.ca/~k30600"
  year: "2006"
  tags:
  - "rule-based"
  - "web service"
  - "web services"
  researchr: "https://researchr.org/publication/Abouzaid06"
  cites: 0
  citedby: 0
  pages: "23-34"
  booktitle: "Computer Supported Activity Coordination, Proceedings of the 3rd International Workshop on Computer Supported Activity Coordination, CSAC 2006, In conjunction with ICEIS 2006, Paphos, Cyprus, May 2006"
  editor:
  - name: "José Cordeiro"
    link: "https://researchr.org/alias/jos%C3%A9-cordeiro"
  - name: "Joaquim Filipe"
    link: "https://researchr.org/alias/joaquim-filipe"
  publisher: "INSTICC Press"
  isbn: "972-8865-53-8"
  kind: "inproceedings"
  key: "Abouzaid06"
- title: "A Mapping from Pi-Calculus into BPEL"
  author:
  - name: "Faisal Abouzaid"
    link: "http://www.labunix.uqam.ca/~k30600"
  year: "2006"
  tags:
  - "BPEL"
  researchr: "https://researchr.org/publication/Abouzaid06%3A0"
  cites: 0
  citedby: 0
  pages: "235-242"
  booktitle: "Leading the Web in Concurrent Engineering. Next Generation Concurrent Engineering, Proceedings of the 13th ISPE International Conference on Concurrent Engineering (ISPE CE 2006), September 18-22, 2006, Antibes, France"
  editor:
  - name: "Parisa Ghodous"
    link: "https://researchr.org/alias/parisa-ghodous"
  - name: "Rose Dieng-Kuntz"
    link: "https://researchr.org/alias/rose-dieng-kuntz"
  - name: "Geilson Loureiro"
    link: "https://researchr.org/alias/geilson-loureiro"
  volume: "143"
  series: "Frontiers in Artificial Intelligence and Applications"
  publisher: "IOS Press"
  isbn: "978-1-58603-651-5"
  kind: "inproceedings"
  key: "Abouzaid06:0"
- title: "Model-checking Web Services Orchestrations using BP-calculus"
  author:
  - name: "Faisal Abouzaid"
    link: "http://www.labunix.uqam.ca/~k30600"
  - name: "John Mullins"
    link: "https://researchr.org/alias/john-mullins"
  year: "2009"
  doi: "http://dx.doi.org/10.1016/j.entcs.2009.10.022"
  links:
    doi: "http://dx.doi.org/10.1016/j.entcs.2009.10.022"
  tags:
  - "model checking"
  - "meta-model"
  - "web service"
  - "web services"
  - "Meta-Environment"
  researchr: "https://researchr.org/publication/AbouzaidM09"
  cites: 0
  citedby: 0
  journal: "Electronic Notes in Theoretical Computer Science"
  volume: "255"
  pages: "3-21"
  kind: "article"
  key: "AbouzaidM09"