@TECHREPORT{Parrow97theupdate, author = {Joachim Parrow and Björn Victor}, title = {The Update Calculus}, institution = {}, year = {1997} }

Years of Citing Articles

Bookmark

OpenURL

Abstract

In the update calculus concurrent processes can perform update actions with side effects, and a scoping operator can be used to control the extent of the update. In this way it incorporates fundamental concepts both from imperative languages or concurrent constraints formalisms, and from functional formalisms such as the - and -calculi. Structurally it is similar to but simpler than the -calculus; it has only one binding operator and a symmetry between input and output. We define the structured operational semantics and the proper bisimulation equivalence and congruence, and give a complete axiomatization. The -calculus turns out to be an asymmetric subcalculus. 1 Introduction Theory of concurrent computation is a diverse field where many different approaches have been proposed and no consensus has emerged on the best paradigms. In this paper we take a step towards unifying two seemingly contradictory schools of thought: global vs local effects of concurrent actions. We define a calc...