Institut National de Recherche en Informatique et en Automatique, Le Chesnay, INRIA 1987, Rapports de Recherche No. 748, 1987.
Abstract: The overall intention of this work is to investigate the ability to regard a finite computation as a single event, in dealing with the semantics of concurrency. We propose a caculus of concurrent processes that embodies this ability in two respects: the first one is that of execution, the second that of operation.