Transformations for optimizing interprocess communication and synchronization mechanisms

This publication has 17 references indexed in Scilit:

• A method for solving synchronization problems
  Science of Computer Programming, 1989
• Mixing coroutines and processes in an Ada tasking implementation
  ACM SIGAda Ada Letters, 1989
• An overview of the SR language and implementation
  ACM Transactions on Programming Languages and Systems, 1988
• A Review of Ada Tasking
  Published by Springer Nature ,1987
• A method of program transformation between variable sharing and message passing
  Software: Practice and Experience, 1985
• Concepts and Notations for Concurrent Programming
  ACM Computing Surveys, 1983
• Implementation strategies for Ada tasking idioms
  Published by Association for Computing Machinery (ACM) ,1982
• Comparative efficiency of different implementations of the Ada rendezvous
  Published by Association for Computing Machinery (ACM) ,1982
• Task management in Ada—A critical evaluation for real-time multiprocessors
  Software: Practice and Experience, 1981
• High-Speed Multiprocessors and Compilation Techniques
  IEEE Transactions on Computers, 1980