Orc

MaRDI QIDQ19351swMATHFDO

Official website http://rd.springer.com/chapter/10.1007/978-3-642-02138-1_1

Described by source

• The Orc Programming Language

Cited in

(25)

• A UTP semantic model for Orc language with execution status and fault handling
• COWS
• BPEL2oWFN
• NOW: orchestrating services in a nomadic network using a dedicated workflow language
• Flow Caml
• Dist-Orc
• JOpera
• SWORD
• Executable rewriting logic semantics of Orc and formal analysis of Orc programs
• Jolie
• Session types for safe web service orchestration
• Computational aspects of uncertainty profiles and angel-daemon games
• SynchAADL2Maude
• The rewriting logic semantics project: a progress report
• Quicksort: Combining Concurrency, Recursion, and Mutable Data Structures
• A denotational semantical model for Orc language
• Google Maps API
• A formal model for service-oriented interactions
• DSOL: a declarative approach to self-adaptive service orchestrations
• JSFlow
• cglib
• AO4BPEL
• Reasoning about orchestrations of web services using partial correctness
• Combining behavioural types with security analysis
• Towards a process calculus for REST: current state of the art

This page was built for software: Orc