For the most recent entries see the Petri Nets Newsletter.

Concurrency and Atomicity.

Boudol, G.; Castellani, I.

In: 2: Theor. Comput. Sci., Vol. 59, No. 1, pages 25-84. 1988.

Abstract: The paper endeavours to propose a semantics for ``true'' concurrency as well as an adequate treatment of nondeterminism. It also addresses the issue of a semantics for atomic actions. All this is achieved by firstly choosing a formalism in which sequentiality (causality), nondeterminism (conflict) and concurrency are distinct notions, viz. event structures. This constitutes the so-called system model. Next an execution model is proposed based on the system model. Plotkin-style operational semantics is provided. Finally the execution model is extended to an operation model.

Keywords: true concurrency; atomicity; nondeterminism; causality; conflict; event structure; operational semantics.

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

Back to the Petri Nets Bibliography