The Update Calculus
1997 (English)In: Proceedings of AMAST'97 / [ed] Michael Johnson, Berlin: Springer , 1997, 409-423 p.Conference paper (Refereed)
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 lambda- and pi-calculi. Structurally it is similar to but simpler than the pi-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 pi-calculus turns out to be an asymmetric subcalculus.
Place, publisher, year, edition, pages
Berlin: Springer , 1997. 409-423 p.
, Lecture notes in computer science, ISSN 0302-9743 ; 1349
IdentifiersURN: urn:nbn:se:uu:diva-74250DOI: 10.1007/BFb0000486ISBN: 3540638881OAI: oai:DiVA.org:uu-74250DiVA: diva2:102160
Algebraic methodology and software technology : 6th international conference, AMAST '97, Sydney, Australia, December 13 - 17, 1997