% Bibliography downloaded from https://researchr.org/downloadbibtex/bibliography/orc-community

@article{DongLSZ14,
  title = {Towards verification of computation orchestration},
  author = {Jin Song Dong and Yang Liu and Jun Sun and Xian Zhang},
  year = {2014},
  doi = {10.1007/s00165-013-0280-9},
  url = {http://dx.doi.org/10.1007/s00165-013-0280-9},
  researchr = {https://researchr.org/publication/DongLSZ14},
  cites = {0},
  citedby = {0},
  journal = {Formal Asp. Comput.},
  volume = {26},
  number = {4},
  pages = {729-759},
}

@inproceedings{NicolaMT11,
  title = {Orchestrating Tuple-Based Languages},
  author = {Rocco De Nicola and Andrea Margheri and Francesco Tiezzi},
  year = {2011},
  doi = {10.1007/978-3-642-30065-3_10},
  url = {http://dx.doi.org/10.1007/978-3-642-30065-3_10},
  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 = {Roberto Bruni and Vladimiro Sassone},
  volume = {7173},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-30064-6},
}

@article{GabarroSS14,
  title = {Analysing Web-Orchestrations Under Stress Using Uncertainty Profiles},
  author = {Joaquim Gabarró and Maria J. Serna and Alan Stewart},
  year = {2014},
  doi = {10.1093/comjnl/bxt063},
  url = {http://dx.doi.org/10.1093/comjnl/bxt063},
  researchr = {https://researchr.org/publication/GabarroSS14},
  cites = {0},
  citedby = {0},
  journal = {Comput. J.},
  volume = {57},
  number = {11},
  pages = {1591-1615},
}

@article{ProencaC08,
  title = {Coordination Models Orc and Reo Compared},
  author = {José Proença and Dave Clarke},
  year = {2008},
  doi = {10.1016/j.entcs.2008.03.099},
  url = {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},
}

@inproceedings{DongLSZ06,
  title = {Verification of Computation Orchestration Via Timed Automata},
  author = {Jin Song Dong and Yang Liu and Jun Sun 0001 and Xian Zhang},
  year = {2006},
  doi = {10.1007/11901433_13},
  url = {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 = {Zhiming Liu and Jifeng He},
  volume = {4260},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-47460-9},
}

@inproceedings{YouXHH14,
  title = {Formal Semantics of {Orc} Based on {TLA^+}},
  author = {Zhen You and Jinyun Xue and Qimin Hu and Yi Hong},
  year = {2014},
  doi = {10.1007/978-3-319-17404-4_10},
  url = {http://dx.doi.org/10.1007/978-3-319-17404-4_10},
  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 = {Shaoying Liu and Zhenhua Duan},
  volume = {8979},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-319-17403-7},
}

@article{AlTurkiM15,
  title = {Executable rewriting logic semantics of Orc and formal analysis of Orc programs},
  author = {Musab A. AlTurki and José Meseguer},
  year = {2015},
  doi = {10.1016/j.jlamp.2015.03.003},
  url = {http://dx.doi.org/10.1016/j.jlamp.2015.03.003},
  researchr = {https://researchr.org/publication/AlTurkiM15},
  cites = {0},
  citedby = {0},
  journal = {Journal of Logic and Algebraic Programming},
  volume = {84},
  number = {4},
  pages = {505-533},
}

@article{LiZZH14-0,
  title = {A UTP semantic model for Orc language with execution status and fault handling},
  author = {Qin Li and Yongxin Zhao and Huibiao Zhu and Jifeng He},
  year = {2014},
  doi = {10.1007/s11704-014-3385-2},
  url = {http://dx.doi.org/10.1007/s11704-014-3385-2},
  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},
}

@inproceedings{AlTurkiA15,
  title = {Towards Formal Verification of Orchestration Computations Using the {\mathBB K} Framework},
  author = {Musab A. AlTurki and Omar Alzuhaibi},
  year = {2015},
  doi = {10.1007/978-3-319-19249-9_4},
  url = {http://dx.doi.org/10.1007/978-3-319-19249-9_4},
  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 = {Nikolaj Bjørner and Frank D. de Boer},
  volume = {9109},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-319-19248-2},
}

@inproceedings{PerrinJM15,
  title = {Tracking Causal Dependencies in Web Services Orchestrations Defined in ORC},
  author = {Matthieu Perrin and Claude Jard and Achour Mostéfaoui},
  year = {2015},
  doi = {10.1007/978-3-319-26850-7_26},
  url = {http://dx.doi.org/10.1007/978-3-319-26850-7_26},
  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 = {Ahmed Bouajjani and Hugues Fauconnier},
  volume = {9466},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-319-26849-1},
}

@inproceedings{VardoulakisW08,
  title = {A Compositional Trace Semantics for Orc},
  author = {Dimitrios Vardoulakis and Mitchell Wand},
  year = {2008},
  doi = {10.1007/978-3-540-68265-3_21},
  url = {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 = {Doug Lea and Gianluigi Zavattaro},
  volume = {5052},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-68264-6},
}

@inproceedings{BruniMT06,
  title = {Translating Orc Features into Petri Nets and the Join Calculus},
  author = {Roberto Bruni and Hernán C. Melgratti and Emilio Tuosto},
  year = {2006},
  doi = {10.1007/11841197_8},
  url = {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 = {Mario Bravetti and Manuel Núñez and Gianluigi Zavattaro},
  volume = {4184},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-38862-1},
}

@inproceedings{AldinucciDKD08,
  title = {From Orc Models To Distributed Grid Java Code},
  author = {Marco Aldinucci and Marco Danelutto and Peter Kilpatrick and Patrizio Dazzi},
  year = {2008},
  doi = {10.1007/978-0-387-09457-1_2},
  url = {http://dx.doi.org/10.1007/978-0-387-09457-1_2},
  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 = {Sergei Gorlatch and Paraskevi Fragopoulou and Thierry Priol},
  publisher = {Springer},
  isbn = {978-0-387-09457-1},
}

@inproceedings{AldinucciDK07:0,
  title = {Adding metadata to Orc to support reasoning about grid programs},
  author = {Marco Aldinucci and Marco Danelutto and Peter Kilpatrick},
  year = {2007},
  doi = {10.1007/978-0-387-72498-0_19},
  url = {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 = {Thierry Priol and Marco Vanneschi},
  publisher = {Springer},
  isbn = {978-0-387-72497-3},
}

@inproceedings{StewartGK15,
  title = {Uncertainty in the Cloud: An Angel-Daemon Approach to Modelling Performance},
  author = {Alan Stewart and Joaquim Gabarró and Anthony Keenan},
  year = {2015},
  doi = {10.1007/978-3-319-20807-7_13},
  url = {http://dx.doi.org/10.1007/978-3-319-20807-7_13},
  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 = {Sébastien Destercke and Thierry Denoeux},
  volume = {9161},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-319-20806-0},
}

@article{StewartGK13,
  title = {Reasoning about orchestrations of web services using partial correctness},
  author = {Alan Stewart and Joaquim Gabarró and Anthony Keenan},
  year = {2013},
  doi = {10.1007/s00165-011-0212-5},
  url = {http://dx.doi.org/10.1007/s00165-011-0212-5},
  researchr = {https://researchr.org/publication/StewartGK13},
  cites = {0},
  citedby = {0},
  journal = {Formal Asp. Comput.},
  volume = {25},
  number = {6},
  pages = {833-846},
}

@inproceedings{LaunchburyE10,
  title = {Concurrent orchestration in Haskell},
  author = {John Launchbury and Trevor Elliott},
  year = {2010},
  doi = {10.1145/1863523.1863534},
  url = {http://doi.acm.org/10.1145/1863523.1863534},
  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 = {Jeremy Gibbons},
  publisher = {ACM},
  isbn = {978-1-4503-0252-4},
}

@inproceedings{LiZH10-1,
  title = {A Denotational Semantical Model for Orc Language},
  author = {Qin Li and Huibiao Zhu and Jifeng He},
  year = {2010},
  doi = {10.1007/978-3-642-14808-8_8},
  url = {http://dx.doi.org/10.1007/978-3-642-14808-8_8},
  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 = {Ana Cavalcanti and David Déharbe and Marie-Claude Gaudel and Jim Woodcock},
  volume = {6255},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-14807-1},
}

@inproceedings{Fernandez-Reyes16,
  title = {ParT: An Asynchronous Parallel Abstraction for Speculative Pipeline Computations},
  author = {Kiko Fernandez-Reyes and Dave Clarke and Daniel S. McCain},
  year = {2016},
  doi = {10.1007/978-3-319-39519-7_7},
  url = {http://dx.doi.org/10.1007/978-3-319-39519-7_7},
  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 = {Alberto Lluch-Lafuente and José Proença},
  volume = {9686},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-319-39518-0},
}

@inproceedings{AlTurkiM07,
  title = {Real-time rewriting semantics of orc},
  author = {Musab AlTurki and José Meseguer},
  year = {2007},
  doi = {10.1145/1273920.1273938},
  url = {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 = {Michael Leuschel and Andreas Podelski},
  publisher = {ACM},
  isbn = {978-1-59593-769-8},
}

@article{AlTurkiM08,
  title = {Reduction Semantics and Formal Analysis of Orc Programs},
  author = {Musab AlTurki and José Meseguer},
  year = {2008},
  doi = {10.1016/j.entcs.2008.04.091},
  url = {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},
}

@inproceedings{StewartGCHKP06,
  title = {Managing Grid Computations: An ORC-Based Approach},
  author = {Alan Stewart and Joaquim Gabarró and Maurice Clint and Terence J. Harmer and Peter Kilpatrick and Ronald H. Perrott},
  year = {2006},
  doi = {10.1007/11946441_29},
  url = {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 = {Minyi Guo and Laurence Tianruo Yang and Beniamino Di Martino and Hans P. Zima and Jack Dongarra and Feilong Tang},
  volume = {4330},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-68067-5},
}