Apr 17, 2015 · TLA + is a logic that combines temporal logic and logic of actions, which can be used to specify and reason about concurrent features of Orc ...
Formal Semantics of Orc Based on TLA^+ · 来自Springer. 作者. Y Zhen，J Xue ... Formal Semantics of Orc Based on TLA+ · 游珍，胡启敏，薛锦云 - 2015 - 被引量 ...
PDF | Orc is a programming model for expressing orchestrated distributed and concurrent computations. It abstracts computations through calling sites.
Missing: TLA+. | Show results with:TLA+.
Formal Semantics of Orc Based on TLA+. In: Liu, Shaoying; Duan, Zhenhua, eds.. Structured Object-Oriented Formal Language and Method: 4th International ...
This paper describes a small functional programming language that forms the core language of Orc, and shows how the concurrency combinators of the process ...
This paper develops a partial-order semantics in terms of heaps, for Orc, an orchestration language used to describe distributed computations over the ...
People also search for
Aug 10, 2019 · It's not a formal specification of TLA + ; an informal mathematical specification is quite a common way for specifying formal systems.
Missing: Orc | Show results with:Orc
May 25, 2017 · We'll learn how TLA + uses logic to describe the state of programs, meaning their data, how formal logic can be used for specifications in general.
Missing: Orc | Show results with:Orc
... formal semantics of Orc based on TLA\(^+\) language. Compared with other semantics of Orc, our major concern is Orc expression's next-state relation/action ...
Missing: TLA+. | Show results with:TLA+.
Publications that cite this publication ; Formal Semantics of Orc Based on TLA$$^+$$. Zhen You, Jinyun Xue, Qimin Hu, Yi Hong ; Flexible Probabilistic QoS ...
Missing: TLA+. | Show results with:TLA+.