HP Labs Technical Reports

Click here for full text: Postscript PDF

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

[Research] [News] [Tech Reports] [Palo Alto] [Bristol] [Japan] [Israel] [Site Map] [Home] [Hewlett-Packard]