Communicating processes with value-passing and assignments |
| |
Authors: | M Hennessy A Ingólfsdóttir |
| |
Affiliation: | (1) University of Sussex, BN1 9QH Farmer, Brighton, UK |
| |
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 asCSP andOccam.This work has partly been supported by the ESPRIT/BRA project Concur |
| |
Keywords: | Communicating processes Denotational models Occam Testing Value-passing |
本文献已被 SpringerLink 等数据库收录! |