On the semantics of concurrency: partial orders and transition systems. (English) Zbl 0614.68023

Boudol, G.; Castellani, I.

TAPSOFT ’87, Proc. Int. Conf. Software development, Pisa/Italy 1987, Vol. 1: Trees in algebra and programming, Lect. Notes Comput. Sci. 249, 123-137 (1987).

[For the entire collection see Zbl 0605.00015.]
We introduce an algebra of labelled event structures whose operations are sequential composition, sum, and parallel composition. A transition relation is defined on these objects, where at each step a process performs a labelled poset. It is claimed that the bisimulation relative to such transition systems brings out a clean distinction between concurrency and sequential non-determinism.

MSC:

68N25

Theory of operating systems

Keywords:

calculi of processes; algebra of labelled event structures; sequential composition; sum; parallel composition; sequential non-determinism

Citations:

Zbl 0605.00015