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: "Formal Asp. Comput."
  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: "Trustworthy Global Computing - 6th International Symposium, TGC 2011, Aachen, Germany, June 9-10, 2011. Revised Selected Papers"
  editor:
  - name: "Roberto Bruni"
    link: "https://researchr.org/alias/roberto-bruni"
  - name: "Vladimiro Sassone"
    link: "https://researchr.org/alias/vladimiro-sassone"
  volume: "7173"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-30064-6"
  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: "Comput. J."
  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: "Electronic Notes in Theoretical Computer Science"
  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: "Formal Methods and Software Engineering, 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings"
  editor:
  - name: "Zhiming Liu"
    link: "https://researchr.org/alias/zhiming-liu"
  - name: "Jifeng He"
    link: "https://researchr.org/alias/jifeng-he"
  volume: "4260"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-47460-9"
  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: "Structured Object-Oriented Formal Language and Method - 4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected Papers"
  editor:
  - name: "Shaoying Liu"
    link: "https://researchr.org/alias/shaoying-liu"
  - name: "Zhenhua Duan"
    link: "https://researchr.org/alias/zhenhua-duan"
  volume: "8979"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-319-17403-7"
  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: "Journal of Logic and Algebraic Programming"
  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: "Frontiers of Computer Science in China"
  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 2015: Formal Methods - 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings"
  editor:
  - name: "Nikolaj Bjørner"
    link: "https://researchr.org/alias/nikolaj-bj%C3%B8rner"
  - name: "Frank D. de Boer"
    link: "https://researchr.org/alias/frank-d.-de-boer"
  volume: "9109"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-319-19248-2"
  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: "Networked Systems - Third International Conference, NETYS 2015, Agadir, Morocco, May 13-15, 2015, Revised Selected Papers"
  editor:
  - name: "Ahmed Bouajjani"
    link: "https://researchr.org/alias/ahmed-bouajjani"
  - name: "Hugues Fauconnier"
    link: "https://researchr.org/alias/hugues-fauconnier"
  volume: "9466"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-319-26849-1"
  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 Models and Languages, 10th International Conference, COORDINATION 2008, Oslo, Norway, June 4-6, 2008. Proceedings"
  editor:
  - name: "Doug Lea"
    link: "https://researchr.org/alias/doug-lea"
  - name: "Gianluigi Zavattaro"
    link: "https://researchr.org/alias/gianluigi-zavattaro"
  volume: "5052"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-68264-6"
  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: "Web Services and Formal Methods, Third International Workshop, WS-FM 2006 Vienna, Austria, September 8-9, 2006, Proceedings"
  editor:
  - name: "Mario Bravetti"
    link: "https://researchr.org/alias/mario-bravetti"
  - name: "Manuel Núñez"
    link: "https://researchr.org/alias/manuel-n%C3%BA%C3%B1ez"
  - name: "Gianluigi Zavattaro"
    link: "https://researchr.org/alias/gianluigi-zavattaro"
  volume: "4184"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-38862-1"
  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: "Grid Computing - Achievements and Prospects: CoreGRID Integration Workshop 2008, Hersonissos, Crete, Greece, April 2-4, 2008"
  editor:
  - name: "Sergei Gorlatch"
    link: "https://researchr.org/alias/sergei-gorlatch"
  - name: "Paraskevi Fragopoulou"
    link: "https://researchr.org/alias/paraskevi-fragopoulou"
  - name: "Thierry Priol"
    link: "https://researchr.org/alias/thierry-priol"
  publisher: "Springer"
  isbn: "978-0-387-09457-1"
  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: "Towards Next Generation Grids, Proceedings of the CoreGRID Symposium 2007, August 27-28, Rennes, France"
  editor:
  - name: "Thierry Priol"
    link: "https://researchr.org/alias/thierry-priol"
  - name: "Marco Vanneschi"
    link: "https://researchr.org/alias/marco-vanneschi"
  publisher: "Springer"
  isbn: "978-0-387-72497-3"
  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: "Symbolic and Quantitative Approaches to Reasoning with Uncertainty - 13th European Conference, ECSQARU 2015, Compiègne, France, July 15-17, 2015. Proceedings"
  editor:
  - name: "Sébastien Destercke"
    link: "https://researchr.org/alias/s%C3%A9bastien-destercke"
  - name: "Thierry Denoeux"
    link: "https://researchr.org/alias/thierry-denoeux"
  volume: "9161"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-319-20806-0"
  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: "Formal Asp. Comput."
  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: "Proceedings of the 3rd ACM SIGPLAN Symposium on Haskell, Haskell 2010, Baltimore, MD, USA, 30 September 2010"
  editor:
  - name: "Jeremy Gibbons"
    link: "http://www.comlab.ox.ac.uk/jeremy.gibbons/"
  publisher: "ACM"
  isbn: "978-1-4503-0252-4"
  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: "Theoretical Aspects of Computing - ICTAC 2010, 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010. Proceedings"
  editor:
  - name: "Ana Cavalcanti"
    link: "https://researchr.org/alias/ana-cavalcanti"
  - name: "David Déharbe"
    link: "https://researchr.org/alias/david-d%C3%A9harbe"
  - name: "Marie-Claude Gaudel"
    link: "http://www.lri.fr/~mcg/"
  - name: "Jim Woodcock"
    link: "https://researchr.org/alias/jim-woodcock"
  volume: "6255"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-14807-1"
  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 Models and Languages - 18th IFIP WG 6.1 International Conference, COORDINATION 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings"
  editor:
  - name: "Alberto Lluch-Lafuente"
    link: "https://researchr.org/alias/alberto-lluch-lafuente"
  - name: "José Proença"
    link: "https://researchr.org/alias/jos%C3%A9-proen%C3%A7a"
  volume: "9686"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-319-39518-0"
  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: "Proceedings of the 9th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 14-16, 2007, Wroclaw, Poland"
  editor:
  - name: "Michael Leuschel"
    link: "http://www.stups.uni-duesseldorf.de/~leuschel"
  - name: "Andreas Podelski"
    link: "https://researchr.org/alias/andreas-podelski"
  publisher: "ACM"
  isbn: "978-1-59593-769-8"
  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: "Electronic Notes in Theoretical Computer Science"
  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: "Parallel and Distributed Processing and Applications, 4th International Symposium, ISPA 2006, Sorrento, Italy, December 4-6, 2006, Proceedings"
  editor:
  - name: "Minyi Guo"
    link: "https://researchr.org/alias/minyi-guo"
  - name: "Laurence Tianruo Yang"
    link: "https://researchr.org/alias/laurence-tianruo-yang"
  - name: "Beniamino Di Martino"
    link: "https://researchr.org/alias/beniamino-di-martino"
  - name: "Hans P. Zima"
    link: "https://researchr.org/alias/hans-p.-zima"
  - name: "Jack Dongarra"
    link: "https://researchr.org/alias/jack-dongarra"
  - name: "Feilong Tang"
    link: "https://researchr.org/alias/feilong-tang"
  volume: "4330"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-68067-5"
  kind: "inproceedings"
  key: "StewartGCHKP06"