Communicating processes with value-passing and assignments
Matthew Hennessy, Anna Ingólfsdóttir · Formal Aspects of Computing · 1993
Abstract A semantic theory of an imperative language which allows value-passing and assignments as a simple action prefixing is described. Three different semantic approaches are given: denotational based on the mathematical model Acceptance Trees, axiomatic based on inequations and behavioural in terms of testing. The equivalence of these different approaches is shown. The results are compared with similar results for other languages such as CSP and Occam .