Orchestration combinators in Apla+ language

DOI10.1007/978-3-319-57708-1_1zbMATH Open1461.68050OpenAlexW2606260681MaRDI QIDQ4989014FDOQ4989014

Zhen You, Jinyun Xue

Publication date: 20 May 2021

Published in: Structured Object-Oriented Formal Language and Method (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-57708-1_1

Recommendations

• The Orc Programming Language
• A Language for Task Orchestration and Its Semantic Properties
• A timed semantics of Orc
• A denotational semantical model for Orc language
• A UTP semantic model for Orc language with execution status and fault handling

zbMATH Keywords

Orc languageApla+ languageOrc calculusorchestration combinators

Mathematics Subject Classification ID

Theory of programming languages (68N15) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cited In (2)

• The Orc Programming Language
• A core calculus for correlation in orchestration languages

This page was built for publication: Orchestration combinators in Apla+ language

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4989014)