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