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 |