<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2014-10-03 09:24:13John Vincent Atanasoff Inter-process communication Computing Message queue |
Add to Reading List |
| First Page | Document Content | |
|---|---|---|
Date: 2014-10-03 09:24:13John Vincent Atanasoff Inter-process communication Computing Message queue |
Add to Reading List |
Thursday, Oct. 16th 3:40p.m. @ B29 Atanasoff Verification of Asynchronous Systems: Deciding Synchronizability and Beyond