The Representation of Communication and Concurrency
George J. Milne · 1980
A formal sys tem is described within which we may represent the communication and concurrency features found in systems of interacting computing agents. This formal system may be used both a s a model in which to represent the behaviour of existing systems of computing agents o r a s a language i n which to program desired systems. The notion of acceptance semantics i s introduced and it is in t e rms of this that we give meaning to programs constructed i n our framework. ACKNOWLEDGEMENTS A number of people have contributed to the ideas which a r e presented here. This research is an offshoot of that performed a t Edinburgh University with Robin Milner; his influence has contributed much to the ideas expressed here. Suggestions have also been made by Tony Hoare and his group in Oxford and by my colleagues here a t Caltech.