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

@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 = {fac},
  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 = {tgc},
}

@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 = {cj},
  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 = {ENTCS},
  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 = {icfem},
}

@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 = {sofl},
}

@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 = {jlp},
  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 = {fcsc},
  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},
}

@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 = {netys},
}

@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},
}

@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 = {wsfm},
}

@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 = {coregrid},
}

@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 = {coregrid},
}

@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 = {ecsqaru},
}

@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 = {fac},
  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 = {haskell},
}

@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 = {ictac},
}

@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},
}

@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 = {ppdp},
}

@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 = {ENTCS},
  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 = {ispa},
}