Orc

swMATH7311MaRDI QIDQ19351FDOQ19351

Author name not available (Why is that?)

Described by source

• The Orc Programming Language

Cited In (13)

• Session types for safe web service orchestration
• A formal model for service-oriented interactions
• A Denotational Semantical Model for Orc Language
• A UTP semantic model for Orc language with execution status and fault handling
• DSOL: a declarative approach to self-adaptive service orchestrations
• Computational aspects of uncertainty profiles and angel-daemon games
• Quicksort: Combining Concurrency, Recursion, and Mutable Data Structures
• Reasoning about orchestrations of web services using partial correctness
• Combining behavioural types with security analysis
• The Rewriting Logic Semantics Project: A Progress Report
• Towards a process calculus for REST: current state of the art
• NOW: orchestrating services in a nomadic network using a dedicated workflow language
• Executable rewriting logic semantics of Orc and formal analysis of Orc programs

This page was built for software: Orc