Equations for message passing

Issue title: SPECIAL ISSUE ON CONCURRENCY SPECIFICATION AND PROGRAMMING (CS&P 2005) Ruciane-Nide, Poland, 28–30 September 2005

Article type: Research Article

Authors: Czaja, Ludwik

Affiliations: Institute of Informatics Warsaw University, Poland. E-mail: lczaja@mimuw.edu.pl

Abstract: A specification of systems based on message passing paradigm is proposed. To this end, an algebraic structure called a semiring of formal polynomials with restricted idempotency of multiplication is taken and fix-point equations specifying (parallel) systems are constructed. Their solution provides an "implementation" of the system, in particular, a Petri net of various kind. Moreover, it determines a global information on capability of sending or receiving a message by objects from a local information on their readiness to do this.

Journal: Fundamenta Informaticae, vol. 72, no. 1-3, pp. 81-93, 2006