For the most recent entries see the Petri Nets Newsletter.

Concurrency and Atomicity.

Boudol, G.; Castellani, I.

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.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography