Purnendu Sinha, Da Qi Ren. On the Use of Category Theory for Specification Composition of Dependable Distributed Protocols. In Selim G. Akl, Teofilo F. Gonzalez, editors, International Conference on Parallel and Distributed Computing Systems, PDCS 2002, November 4-6, 2002, Cambridge, USA. pages 229-234, IASTED/ACTA Press, 2002.
Abstract is missing.