Jayadev Misra. Computation Orchestration: A Basis for Wide-Area Computing. In Engineering Theories of Software Intensive Systems. Volume 195 of NATO Science Series II: Mathematics, Physics and Chemistry, pages 285-330, Springer, 2005. [doi]
This paper presents a formal semantics of a language, called Orc, which is described in a companion paper{$[$}3{$]$} in this volume. There are many styles of presentation of programming language semantics. The more operational styles give more concrete guidance to the implementer on how a program should be executed. The more abstract styles are more helpful in proving the correctness of particular programs. The style adopted in this paper is neutral between implementer and programmer. Its main achievement is to permit simple proofs of familiar algebraic identities that hold between programs with different syntactic forms.