An Analyzer for Message Passing Programs
Asynchronous message passing systems are fast becoming a common means for communication between devices. Two problems existing in message passing programs are difficult to solve. The first problem, intended or otherwise, is message-race where a receive may match with more than one send in the runtim...
| Main Author: | |
|---|---|
| Format: | Others |
| Published: |
BYU ScholarsArchive
2016
|
| Subjects: | |
| Online Access: | https://scholarsarchive.byu.edu/etd/5865 https://scholarsarchive.byu.edu/cgi/viewcontent.cgi?article=6864&context=etd |