Equations for message passing

Authors:
Ludwik Czaja
Affiliations:
Institute of Informatics Warsaw University, Poland. E-mail: lczaja@mimuw.edu.pl
Venue:
Fundamenta Informaticae - SPECIAL ISSUE ON CONCURRENCY SPECIFICATION AND PROGRAMMING (CS&P 2005) Ruciane-Nide, Poland, 28-30 September 2005
Year:
2006

Citing 2
Cited 1

Cause-effect structures

Information Processing Letters
Automata: Theoretic Aspects of Formal Power Series

Automata: Theoretic Aspects of Formal Power Series

Equations for Asynchronous Message Passing

Fundamenta Informaticae - Concurrency, Specification and Programming

Quantified Score

Hi-index	0.00

Visualization

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.