Equations for message passing

• Autorzy: Czaja L.
• Języki publikacji: EN

Abstrakty

EN

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 i"mplementation" 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.

• Wydawca: IOS Press
• Czasopismo: Fundamenta Informaticae
• Rocznik: 2006
• Tom: Vol. 72, nr 1-3
• Strony: 81--93
• Opis fizyczny: bibliogr. 7 poz.

Twórcy

autor

Czaja L.

• Institute of Informatics Warsaw University ul. Banacha 2 02-097 Warsaw, Poland,

Bibliografia

• [1] Czaja L. Cause-effect structures, Information Processing Letters, 26, Jan.1988
• [2] Czaja L. Decomposition of cause-effect structures, Institute of Informatics Warsaw University, TR 95-07 (207), April 1995
• [3] Czaja L. Examples of Specification by Cause-Effect Structures (30 Case Studies), Institute of Informatics, Warsaw Univ. TR 97-03 (240),March 1997
• [4] Czaja L. Elementary Cause-Effect Structures, Warsaw University 2002
• [5] Deminet J. Structural properties of cause-effect nets, Ph.D. thesis (in Polish),Warsaw University 1991
• [6] Patil S.S., Limitations and Capabilites of Dijkstra's Semaphore Primitives for Coordination Among Processes, Project MAC, Computational Structures Group Memo 57, February 1971
• [7] Salomaa A., Soittola M., Automata-Theoretic Aspects of Formal Power Series, Springer, 1978