A Denotational Semantical Model for Orc Language

DOI10.1007/978-3-642-14808-8_8zbMath1286.68302OpenAlexW1563399792MaRDI QIDQ3585046

Qin Li, Huibiao Zhu, Jifeng He

Publication date: 31 August 2010

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-14808-8_8

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (3)

A UTP semantic model for Orc language with execution status and fault handling ⋮ Reasoning about orchestrations of web services using partial correctness ⋮ Towards verification of computation orchestration

Uses Software

• Orc

This page was built for publication: A Denotational Semantical Model for Orc Language