Orc (from language community) (researchr/bibliography/publications)

researchr

You are not signed in
Sign in
Sign up

Concurrent orchestration in HaskellJohn Launchbury, Trevor Elliott. haskell 2010: 79-90 [doi] [classification] 7 years ago

ParT: An Asynchronous Parallel Abstraction for Speculative Pipeline ComputationsKiko Fernandez-Reyes, Dave Clarke, Daniel S. McCain. coordination 2016: 101-120 [doi] [classification] 8 years ago

Uncertainty in the Cloud: An Angel-Daemon Approach to Modelling PerformanceAlan Stewart, Joaquim Gabarró, Anthony Keenan. ecsqaru 2015: 141-150 [doi] [classification] 8 years ago

Analysing Web-Orchestrations Under Stress Using Uncertainty ProfilesJoaquim Gabarró, Maria J. Serna, Alan Stewart. cj, 57(11):1591-1615, 2014. [doi] [classification] 8 years ago

Reasoning about orchestrations of web services using partial correctnessAlan Stewart, Joaquim Gabarró, Anthony Keenan. fac, 25(6):833-846, 2013. [doi] [classification] 8 years ago

Orchestrating Tuple-Based LanguagesRocco De Nicola, Andrea Margheri, Francesco Tiezzi. tgc 2012: 160-178 [doi] [classification] 8 years ago

Towards Formal Verification of Orchestration Computations Using the K FrameworkMusab A. AlTurki, Omar Alzuhaibi. FM 2015: 40-56 [doi] [classification] 8 years ago

Towards verification of computation orchestrationJin Song Dong, Yang Liu, Jun Sun, Xian Zhang. fac, 26(4):729-759, 2014. [doi] [classification] 8 years ago

Formal Semantics of Orc Based on TLA+Zhen You, Jinyun Xue, Qimin Hu, Yi Hong. sofl 2015: 147-163 [doi] [classification] 8 years ago

Verification of Computation Orchestration Via Timed AutomataJin Song Dong, Yang Liu, Jun Sun 0001, Xian Zhang. icfem 2006: 226-245 [doi] [classification] 8 years ago

Managing Grid Computations: An ORC-Based ApproachAlan Stewart, Joaquim Gabarró, Maurice Clint, Terence J. Harmer, Peter Kilpatrick, Ronald H. Perrott. ispa 2006: 278-291 [doi] [classification] 8 years ago

Executable rewriting logic semantics of Orc and formal analysis of Orc programsMusab A. AlTurki, José Meseguer. jlp, 84(4):505-533, 2015. [doi] [classification] 8 years ago

Tracking Causal Dependencies in Web Services Orchestrations Defined in ORCMatthieu Perrin, Claude Jard, Achour Mostéfaoui. netys 2015: 382-396 [doi] [classification] 8 years ago

A UTP semantic model for Orc language with execution status and fault handlingQin Li, Yongxin Zhao, Huibiao Zhu, Jifeng He. fcsc, 8(5):709-725, 2014. [doi] [classification] 8 years ago

Adding metadata to Orc to support reasoning about grid programsMarco Aldinucci, Marco Danelutto, Peter Kilpatrick. coregrid 2007: 205-214 [doi] [classification] 8 years ago

Reduction Semantics and Formal Analysis of Orc ProgramsMusab AlTurki, José Meseguer. ENTCS, 200(3):25-41, 2008. [doi] [classification] 8 years ago

From Orc Models To Distributed Grid Java CodeMarco Aldinucci, Marco Danelutto, Peter Kilpatrick, Patrizio Dazzi. coregrid 2008: 13-24 [doi] [classification] 8 years ago

Translating Orc Features into Petri Nets and the Join CalculusRoberto Bruni, Hernán C. Melgratti, Emilio Tuosto. wsfm 2006: 123-137 [doi] [classification] 8 years ago

Coordination Models Orc and Reo ComparedJosé Proença, Dave Clarke. ENTCS, 194(4):57-76, 2008. [doi] [classification] 8 years ago

A Denotational Semantical Model for Orc LanguageQin Li, Huibiao Zhu, Jifeng He. ictac 2010: 106-120 [doi] [classification] 8 years ago

Real-time rewriting semantics of orcMusab AlTurki, José Meseguer. ppdp 2007: 131-142 [doi] [classification] 8 years ago

A Compositional Trace Semantics for OrcDimitrios Vardoulakis, Mitchell Wand. coordination 2008: 331-346 [doi] [classification] 8 years ago

Download

Maintained by

All Publications

Filter by Year
OR AND NOT 1

Filter by Type
OR AND NOT 1

Filter by Tag
OR AND NOT 1

Filter by Venue
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top Terms

[+]
OR AND NOT 1

Recently Added

Recently Removed

New Entries

Researchr

Bibliography: Orc (from language community)

Recently Added

Download

Maintained by

All Publications

Filter by YearOR AND NOT 1

Filter by TypeOR AND NOT 1

Filter by TagOR AND NOT 1

Filter by VenueOR AND NOT 1

Filter by Author [+]OR AND NOT 1

Filter by Top Terms [+]OR AND NOT 1

Recently Added

Recently Removed

New Entries

Researchr

Bibliography: Orc (from language community)

Recently Added

Filter by Year
OR AND NOT 1

Filter by Type
OR AND NOT 1

Filter by Tag
OR AND NOT 1

Filter by Venue
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top Terms

[+]
OR AND NOT 1