Communicating Processes and Entropic Algebras

Article type: Research Article

Authors: Romanowska, Anna B.^{a; b} | Smith, Jonathan D.H.^{a; b}

Affiliations: [a] Institute of Mathematics, Warsaw University of Sciences and Technology, 00 661 Warsaw, Poland | [b] Department of Mathematics, Iowa State University, Ames IA 50011, USA

Abstract: A significant contribution to the analysis of certain aspects of the communicating processes model was made by D. Benson’s proposal to view incompletely specified nondeterministic processes as modules over certain semirings, and dually as comodules over corresponding coalgebras. The effectiveness of the proposal in treating the synthesis of such processes under mutual communication depended on the good behaviour of these algebraic systems with respect to tensor products. The aim of the paper is to draw attension to the algebraic theory underlying Benson’s proposal, the theory of entropic algebras. Working with entropic algebras guarantees that tensor products are sufficiently well-behaved to make Benson’s theory work.

DOI: 10.3233/FI-1990-13304

Journal: Fundamenta Informaticae, vol. 13, no. 3, pp. 263-274, 1990