HP Labs Technical Reports
Click here for full text:
Axiomatizing the Algebra of Concatenable Concurrent Histories
Ferrari, Gian-Luigi; Montanari, Ugo; Mowbray, Miranda
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