publications:
- title: "Towards verification of computation orchestration"
  author:
  - name: "Jin Song Dong"
    link: "https://researchr.org/alias/jin-song-dong"
  - name: "Yang Liu"
    link: "https://researchr.org/alias/yang-liu"
  - name: "Jun Sun"
    link: "https://researchr.org/alias/jun-sun"
  - name: "Xian Zhang"
    link: "https://researchr.org/alias/xian-zhang"
  year: "2014"
  doi: "http://dx.doi.org/10.1007/s00165-013-0280-9"
  links:
    doi: "http://dx.doi.org/10.1007/s00165-013-0280-9"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/fac/DongLSZ14"
  researchr: "https://researchr.org/publication/DongLSZ14"
  cites: 0
  citedby: 0
  journal: "fac"
  volume: "26"
  number: "4"
  pages: "729-759"
  kind: "article"
  key: "DongLSZ14"
- title: "Orchestrating Tuple-Based Languages"
  author:
  - name: "Rocco De Nicola"
    link: "https://researchr.org/alias/rocco-de-nicola"
  - name: "Andrea Margheri"
    link: "https://researchr.org/alias/andrea-margheri"
  - name: "Francesco Tiezzi"
    link: "https://researchr.org/alias/francesco-tiezzi"
  year: "2011"
  doi: "http://dx.doi.org/10.1007/978-3-642-30065-3_10"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-30065-3_10"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/tgc/NicolaMT11"
  researchr: "https://researchr.org/publication/NicolaMT11"
  cites: 0
  citedby: 0
  pages: "160-178"
  booktitle: "tgc"
  kind: "inproceedings"
  key: "NicolaMT11"
- title: "Analysing Web-Orchestrations Under Stress Using Uncertainty Profiles"
  author:
  - name: "Joaquim Gabarró"
    link: "https://researchr.org/alias/joaquim-gabarr%C3%B3"
  - name: "Maria J. Serna"
    link: "https://researchr.org/alias/maria-j.-serna"
  - name: "Alan Stewart"
    link: "https://researchr.org/alias/alan-stewart"
  year: "2014"
  doi: "http://dx.doi.org/10.1093/comjnl/bxt063"
  links:
    doi: "http://dx.doi.org/10.1093/comjnl/bxt063"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/cj/GabarroSS14"
  researchr: "https://researchr.org/publication/GabarroSS14"
  cites: 0
  citedby: 0
  journal: "cj"
  volume: "57"
  number: "11"
  pages: "1591-1615"
  kind: "article"
  key: "GabarroSS14"
- title: "Coordination Models Orc and Reo Compared"
  author:
  - name: "José Proença"
    link: "https://researchr.org/alias/jos%C3%A9-proen%C3%A7a"
  - name: "Dave Clarke"
    link: "http://www.cs.kuleuven.be/~dave/"
  year: "2008"
  doi: "http://dx.doi.org/10.1016/j.entcs.2008.03.099"
  links:
    doi: "http://dx.doi.org/10.1016/j.entcs.2008.03.099"
  tags:
  - "meta-model"
  - "Meta-Environment"
  researchr: "https://researchr.org/publication/ProencaC08"
  cites: 0
  citedby: 0
  journal: "ENTCS"
  volume: "194"
  number: "4"
  pages: "57-76"
  kind: "article"
  key: "ProencaC08"
- title: "Verification of Computation Orchestration Via Timed Automata"
  author:
  - name: "Jin Song Dong"
    link: "https://researchr.org/alias/jin-song-dong"
  - name: "Yang Liu"
    link: "https://researchr.org/alias/yang-liu"
  - name: "Jun Sun 0001"
    link: "https://researchr.org/alias/jun-sun-0001"
  - name: "Xian Zhang"
    link: "https://researchr.org/alias/xian-zhang"
  year: "2006"
  doi: "http://dx.doi.org/10.1007/11901433_13"
  links:
    doi: "http://dx.doi.org/10.1007/11901433_13"
  researchr: "https://researchr.org/publication/DongLSZ06"
  cites: 0
  citedby: 0
  pages: "226-245"
  booktitle: "icfem"
  kind: "inproceedings"
  key: "DongLSZ06"
- title: "Formal Semantics of Orc Based on TLA+"
  author:
  - name: "Zhen You"
    link: "https://researchr.org/alias/zhen-you"
  - name: "Jinyun Xue"
    link: "https://researchr.org/alias/jinyun-xue"
  - name: "Qimin Hu"
    link: "https://researchr.org/alias/qimin-hu"
  - name: "Yi Hong"
    link: "https://researchr.org/alias/yi-hong"
  year: "2014"
  doi: "http://dx.doi.org/10.1007/978-3-319-17404-4_10"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-319-17404-4_10"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/sofl/YouXHH14"
  researchr: "https://researchr.org/publication/YouXHH14"
  cites: 0
  citedby: 0
  pages: "147-163"
  booktitle: "sofl"
  kind: "inproceedings"
  key: "YouXHH14"
- title: "Executable rewriting logic semantics of Orc and formal analysis of Orc programs"
  author:
  - name: "Musab A. AlTurki"
    link: "https://researchr.org/alias/musab-a.-alturki"
  - name: "José Meseguer"
    link: "https://researchr.org/alias/jos%C3%A9-meseguer"
  year: "2015"
  doi: "http://dx.doi.org/10.1016/j.jlamp.2015.03.003"
  links:
    doi: "http://dx.doi.org/10.1016/j.jlamp.2015.03.003"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/jlp/AlTurkiM15"
  researchr: "https://researchr.org/publication/AlTurkiM15"
  cites: 0
  citedby: 0
  journal: "jlp"
  volume: "84"
  number: "4"
  pages: "505-533"
  kind: "article"
  key: "AlTurkiM15"
- title: "A UTP semantic model for Orc language with execution status and fault handling"
  author:
  - name: "Qin Li"
    link: "https://researchr.org/alias/qin-li"
  - name: "Yongxin Zhao"
    link: "https://researchr.org/alias/yongxin-zhao"
  - name: "Huibiao Zhu"
    link: "https://researchr.org/alias/huibiao-zhu"
  - name: "Jifeng He"
    link: "https://researchr.org/alias/jifeng-he"
  year: "2014"
  doi: "http://dx.doi.org/10.1007/s11704-014-3385-2"
  links:
    doi: "http://dx.doi.org/10.1007/s11704-014-3385-2"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/fcsc/LiZZH14"
  researchr: "https://researchr.org/publication/LiZZH14-0"
  cites: 0
  citedby: 0
  journal: "fcsc"
  volume: "8"
  number: "5"
  pages: "709-725"
  kind: "article"
  key: "LiZZH14-0"
- title: "Towards Formal Verification of Orchestration Computations Using the K Framework"
  author:
  - name: "Musab A. AlTurki"
    link: "https://researchr.org/alias/musab-a.-alturki"
  - name: "Omar Alzuhaibi"
    link: "https://researchr.org/alias/omar-alzuhaibi"
  year: "2015"
  doi: "http://dx.doi.org/10.1007/978-3-319-19249-9_4"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-319-19249-9_4"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/fm/AlTurkiA15"
  researchr: "https://researchr.org/publication/AlTurkiA15"
  cites: 0
  citedby: 0
  pages: "40-56"
  booktitle: "FM"
  kind: "inproceedings"
  key: "AlTurkiA15"
- title: "Tracking Causal Dependencies in Web Services Orchestrations Defined in ORC"
  author:
  - name: "Matthieu Perrin"
    link: "https://researchr.org/alias/matthieu-perrin"
  - name: "Claude Jard"
    link: "https://researchr.org/alias/claude-jard"
  - name: "Achour Mostéfaoui"
    link: "https://researchr.org/alias/achour-most%C3%A9faoui"
  year: "2015"
  doi: "http://dx.doi.org/10.1007/978-3-319-26850-7_26"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-319-26850-7_26"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/netys/PerrinJM15"
  researchr: "https://researchr.org/publication/PerrinJM15"
  cites: 0
  citedby: 0
  pages: "382-396"
  booktitle: "netys"
  kind: "inproceedings"
  key: "PerrinJM15"
- title: "A Compositional Trace Semantics for Orc"
  author:
  - name: "Dimitrios Vardoulakis"
    link: "https://researchr.org/alias/dimitrios-vardoulakis"
  - name: "Mitchell Wand"
    link: "https://researchr.org/alias/mitchell-wand"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/978-3-540-68265-3_21"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-68265-3_21"
  tags:
  - "semantics"
  - "composition"
  researchr: "https://researchr.org/publication/VardoulakisW08"
  cites: 0
  citedby: 0
  pages: "331-346"
  booktitle: "coordination"
  kind: "inproceedings"
  key: "VardoulakisW08"
- title: "Translating Orc Features into Petri Nets and the Join Calculus"
  author:
  - name: "Roberto Bruni"
    link: "https://researchr.org/alias/roberto-bruni"
  - name: "Hernán C. Melgratti"
    link: "https://researchr.org/alias/hern%C3%A1n-c.-melgratti"
  - name: "Emilio Tuosto"
    link: "https://researchr.org/alias/emilio-tuosto"
  year: "2006"
  doi: "http://dx.doi.org/10.1007/11841197_8"
  links:
    doi: "http://dx.doi.org/10.1007/11841197_8"
  tags:
  - "translation"
  - "C++"
  researchr: "https://researchr.org/publication/BruniMT06"
  cites: 0
  citedby: 0
  pages: "123-137"
  booktitle: "wsfm"
  kind: "inproceedings"
  key: "BruniMT06"
- title: "From Orc Models To Distributed Grid Java Code"
  author:
  - name: "Marco Aldinucci"
    link: "https://researchr.org/alias/marco-aldinucci"
  - name: "Marco Danelutto"
    link: "https://researchr.org/alias/marco-danelutto"
  - name: "Peter Kilpatrick"
    link: "https://researchr.org/alias/peter-kilpatrick"
  - name: "Patrizio Dazzi"
    link: "https://researchr.org/alias/patrizio-dazzi"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/978-0-387-09457-1_2"
  links:
    doi: "http://dx.doi.org/10.1007/978-0-387-09457-1_2"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/coregrid/AldinucciDKD08"
  researchr: "https://researchr.org/publication/AldinucciDKD08"
  cites: 0
  citedby: 0
  pages: "13-24"
  booktitle: "coregrid"
  kind: "inproceedings"
  key: "AldinucciDKD08"
- title: "Adding metadata to Orc to support reasoning about grid programs"
  author:
  - name: "Marco Aldinucci"
    link: "https://researchr.org/alias/marco-aldinucci"
  - name: "Marco Danelutto"
    link: "https://researchr.org/alias/marco-danelutto"
  - name: "Peter Kilpatrick"
    link: "https://researchr.org/alias/peter-kilpatrick"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/978-0-387-72498-0_19"
  links:
    doi: "http://dx.doi.org/10.1007/978-0-387-72498-0_19"
  researchr: "https://researchr.org/publication/AldinucciDK07%3A0"
  cites: 0
  citedby: 0
  pages: "205-214"
  booktitle: "coregrid"
  kind: "inproceedings"
  key: "AldinucciDK07:0"
- title: "Uncertainty in the Cloud: An Angel-Daemon Approach to Modelling Performance"
  author:
  - name: "Alan Stewart"
    link: "https://researchr.org/alias/alan-stewart"
  - name: "Joaquim Gabarró"
    link: "https://researchr.org/alias/joaquim-gabarr%C3%B3"
  - name: "Anthony Keenan"
    link: "https://researchr.org/alias/anthony-keenan"
  year: "2015"
  doi: "http://dx.doi.org/10.1007/978-3-319-20807-7_13"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-319-20807-7_13"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/ecsqaru/StewartGK15"
  researchr: "https://researchr.org/publication/StewartGK15"
  cites: 0
  citedby: 0
  pages: "141-150"
  booktitle: "ecsqaru"
  kind: "inproceedings"
  key: "StewartGK15"
- title: "Reasoning about orchestrations of web services using partial correctness"
  author:
  - name: "Alan Stewart"
    link: "https://researchr.org/alias/alan-stewart"
  - name: "Joaquim Gabarró"
    link: "https://researchr.org/alias/joaquim-gabarr%C3%B3"
  - name: "Anthony Keenan"
    link: "https://researchr.org/alias/anthony-keenan"
  year: "2013"
  doi: "http://dx.doi.org/10.1007/s00165-011-0212-5"
  links:
    doi: "http://dx.doi.org/10.1007/s00165-011-0212-5"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/fac/StewartGK13"
  researchr: "https://researchr.org/publication/StewartGK13"
  cites: 0
  citedby: 0
  journal: "fac"
  volume: "25"
  number: "6"
  pages: "833-846"
  kind: "article"
  key: "StewartGK13"
- title: "Concurrent orchestration in Haskell"
  author:
  - name: "John Launchbury"
    link: "https://researchr.org/alias/john-launchbury"
  - name: "Trevor Elliott"
    link: "https://researchr.org/alias/trevor-elliott"
  year: "2010"
  doi: "http://doi.acm.org/10.1145/1863523.1863534"
  links:
    doi: "http://doi.acm.org/10.1145/1863523.1863534"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/haskell/LaunchburyE10"
  researchr: "https://researchr.org/publication/LaunchburyE10"
  cites: 0
  citedby: 0
  pages: "79-90"
  booktitle: "haskell"
  kind: "inproceedings"
  key: "LaunchburyE10"
- title: "A Denotational Semantical Model for Orc Language"
  author:
  - name: "Qin Li"
    link: "https://researchr.org/alias/qin-li"
  - name: "Huibiao Zhu"
    link: "https://researchr.org/alias/huibiao-zhu"
  - name: "Jifeng He"
    link: "https://researchr.org/alias/jifeng-he"
  year: "2010"
  doi: "http://dx.doi.org/10.1007/978-3-642-14808-8_8"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-14808-8_8"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/ictac/LiZH10"
  tags:
  - "modeling language"
  - "language modeling"
  researchr: "https://researchr.org/publication/LiZH10-1"
  cites: 0
  citedby: 0
  pages: "106-120"
  booktitle: "ictac"
  kind: "inproceedings"
  key: "LiZH10-1"
- title: "ParT: An Asynchronous Parallel Abstraction for Speculative Pipeline Computations"
  author:
  - name: "Kiko Fernandez-Reyes"
    link: "https://researchr.org/alias/kiko-fernandez-reyes"
  - name: "Dave Clarke"
    link: "https://researchr.org/alias/dave-clarke"
  - name: "Daniel S. McCain"
    link: "https://researchr.org/alias/daniel-s.-mccain"
  year: "2016"
  doi: "http://dx.doi.org/10.1007/978-3-319-39519-7_7"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-319-39519-7_7"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/coordination/Fernandez-Reyes16"
  researchr: "https://researchr.org/publication/Fernandez-Reyes16"
  cites: 0
  citedby: 0
  pages: "101-120"
  booktitle: "coordination"
  kind: "inproceedings"
  key: "Fernandez-Reyes16"
- title: "Real-time rewriting semantics of orc"
  author:
  - name: "Musab AlTurki"
    link: "https://researchr.org/alias/musab-alturki"
  - name: "José Meseguer"
    link: "https://researchr.org/alias/jos%C3%A9-meseguer"
  year: "2007"
  doi: "http://doi.acm.org/10.1145/1273920.1273938"
  links:
    doi: "http://doi.acm.org/10.1145/1273920.1273938"
  tags:
  - "semantics"
  - "graph-rewriting"
  - "rewriting"
  researchr: "https://researchr.org/publication/AlTurkiM07"
  cites: 0
  citedby: 0
  pages: "131-142"
  booktitle: "ppdp"
  kind: "inproceedings"
  key: "AlTurkiM07"
- title: "Reduction Semantics and Formal Analysis of Orc Programs"
  author:
  - name: "Musab AlTurki"
    link: "https://researchr.org/alias/musab-alturki"
  - name: "José Meseguer"
    link: "https://researchr.org/alias/jos%C3%A9-meseguer"
  year: "2008"
  doi: "http://dx.doi.org/10.1016/j.entcs.2008.04.091"
  links:
    doi: "http://dx.doi.org/10.1016/j.entcs.2008.04.091"
  tags:
  - "semantics"
  - "program analysis"
  - "formal semantics"
  - "analysis"
  researchr: "https://researchr.org/publication/AlTurkiM08"
  cites: 0
  citedby: 0
  journal: "ENTCS"
  volume: "200"
  number: "3"
  pages: "25-41"
  kind: "article"
  key: "AlTurkiM08"
- title: "Managing Grid Computations: An ORC-Based Approach"
  author:
  - name: "Alan Stewart"
    link: "https://researchr.org/alias/alan-stewart"
  - name: "Joaquim Gabarró"
    link: "https://researchr.org/alias/joaquim-gabarr%C3%B3"
  - name: "Maurice Clint"
    link: "https://researchr.org/alias/maurice-clint"
  - name: "Terence J. Harmer"
    link: "https://researchr.org/alias/terence-j.-harmer"
  - name: "Peter Kilpatrick"
    link: "https://researchr.org/alias/peter-kilpatrick"
  - name: "Ronald H. Perrott"
    link: "https://researchr.org/alias/ronald-h.-perrott"
  year: "2006"
  doi: "http://dx.doi.org/10.1007/11946441_29"
  links:
    doi: "http://dx.doi.org/10.1007/11946441_29"
  tags:
  - "rule-based"
  - "systematic-approach"
  researchr: "https://researchr.org/publication/StewartGCHKP06"
  cites: 0
  citedby: 0
  pages: "278-291"
  booktitle: "ispa"
  kind: "inproceedings"
  key: "StewartGCHKP06"