Implementing multiparty interactions on a network computer

Conference Proceedings of the EUROMICRO

Volumn 2, Issue , 1999, Pages 458-465

  Corchuelo, Rafael ^a   Ruiz, David ^a   Toro, Miguel ^a   Ruiz, Antonio ^a  

^a UNIVERSITY OF SEVILLE   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

CLIENT /SERVER; MULTI-PARTY INTERACTIONS; NETWORK COMPUTERS; REACTIVE SYSTEM; REMOTE PROCEDURE CALL;

INFORMATION SCIENCE;

MICROCOMPUTERS;

EID: 84889069417     PISSN: 10896503     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/EURMIC.1999.794814     Document Type: Conference Paper

References (10)

1. A. Adir. Compiling Programs with Multiparty Interactions and Teams. PhD thesis, Technion, 1994.
2. G. Andrews and R. Olson. The SR Programming Language. The Benjamin-Cummings Publishing Company, 1993.
3. R. Bagrodia. Process synchronization: Design and performance evaluation of distributed algorithms. IEEE Transactions on Software Engineering, 15(9):1053-1065, Sept. 1989.
4. R. Corchuelo, O.Mart?n, and M. Toro. Symbolic constraints as a means for multiparty synchronisation and communication. Journal on Computers and Information, May 1999.
5. R. Corchuelo, O. Mart?n, M. Toro, A. Ruiz, and J. Prieto. Weak fairness in the context of constraint-based multiparty interactions. In Proceedings of the Simposio Espanol de Inform atica Distribu?da SEID'99, pages 99-107, Santiago de Compostela, Spain, Feb. 1999.
6. N. Francez. Fairness. Springer-Verlag, 1986.
7. N. Francez and I. Forman. Interacting processes: A multiparty approach to coordinated distributed programming. Addison-Wesley, 1996.
8. V. Garg and S. Ajmani. An efficient algorithm for multi-process shared events. In Proceedings of the 2nd Symposium on Parallel and Distributed Computing, 1990.
9. Y. Joung and S. Smolka. A completely distributed and message-efficient implementation of synchronous multiprocess communication. In P.-C. Yew, editor, Proceedings of the 19th International Conference on Parallel Processing. Volume 3: Algorithms and Architectures, pages 311-318, Urbana-Champaign, Illinois, Aug. 1990. Pennsylvania State University Press.
10. J. Troyano, J. Torres, and M. Toro. TESORO: A technique for distributed systems specification. In Proceedings of the 3rd Euromicro Workshop on Parallel and Distributed Processing, pages 563-570, San Remo (Italy), Jan. 1995.