HP Labs Technical Reports

Axiomatizing the Algebra of Concatenable Concurrent Histories

Ferrari, Gian-Luigi; Montanari, Ugo; Mowbray, Miranda

HPL-91-112

Keyword(s):

Abstract: We give an axiomatization, using category theory, of an algebra of labelled partial orders which has an operation of sequential composition. This algebra was used in a previus paper to give a truly concurrent semantics to the process description language CCS.

Back to Index