In: Journal of Computer and System Sciences, Vol. 35, No. 2, pages 206-228. 1987.
Abstract: The authors introduce a general notion of abstract and concurrent processes. A process is characterized by the set of scenarios it can realize. These scenarios represent not only the input-output behaviours of processes but also some information on their internal structure. Since processes are concrete mathematical objects, together with some connecting operations, an algebra of processes is developed such that properties of operations can be derived directly from definitions and do not need to be assumed as axioms.