Equations for Asynchronous Message Passing

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

Słowa kluczowe

EN

message passing; equations; network analysis; Petri nets; computer systems; problem solving

• Wydawca: IOS Press
• Czasopismo: Fundamenta Informaticae
• Rocznik: 2013
• Tom: Vol. 128, nr 1-2
• Strony: 35--45
• Opis fizyczny: Bibliogr. 15 poz., rys.

Twórcy

autor

Czaja L.

• University of Economics and Computer Science Vistula in Warsaw and University of Warsaw, Poland

Bibliografia

• [1] Badouel E., Darondeau P.: Stratified Petri Nets, FCT’97, Lecture Notes in Computer Science vol. 1279 (1979), pp. 117-128
• [2] Carriero N, Gelernter D.: Linda in Context, Comm. of the ACM, 1989
• [3] Coulouris G, Dollimore J, Kindberg T: Distributed Systems. Concepts and Design. Addison Wesley, Editions: 1988, 1994, 1995, 1996, 2005.
• [4] Czaja L.: Equations for Message Passing, Fundamenta Informaticae, Vol. 72, Numbers, 1-3, July/August 2006, pp. 81-93
• [5] Czaja L.: Interpreted Nets, Fundamenta Informaticae, Vol.79, Numbers 3-4, September 2007, pp.283-293
• [6] Hoare C.A.R.: Communicating Sequential Processes, Comm. of the ACM, Vol 21, pp. 666-677, 1978
• [7] Hoare C.A.R.: Communicating Sequential Processes, Prentice-Hall, 1985
• [8] Milner A.J.R.G.: A Calculus of Communicating Systems, Lecture Notes in Computer Science vol. 92 (1980)
• [9] Milner A.J.R.G.: A Calculus of Communicating Systems, Prentice-Hall, 1989
• [10] INMOS Limited: OCCAM Programming Manual, Prentice-Hall, 1984
• [11] Reisig W.: Petri Nets, An Introduction, EATC Monographs on Theoretical Computer Science, Springer-Verlag, 1985
• [12] Salomaa A., Soittola M., Automata-Theoretic Aspects of Formal Power Series, Springer, 1978
• [13] Valk R.: Self-Modifying Nets, a Natural Extension of Petri Nets, Icalp’78, Lecture Notes in Computer Science vol. 62 (1978), pp. 464-476
• [14] Valk R.: Generalization of Petri Nets, MFCS’81 Lecture Notes in Computer Science vol. 118 (1981), pp. 140-155
• [15] ZuchniakM.: Algorithm and its Implementation of Solving Equations for Message Passing (in Polish), M.Sc. thesis, University of Warsaw, 2012