« earlier | later » Page 1 of 1
IPC Protocols - MozillaWiki edit / delete
Protocol specifications from the Mozilla project (they plan to model-check using SPIN).
to concurrency ipc model-checking mozilla spin ... on 03 April 2012
« earlier | later » Page 1 of 1
| - spin | |
| 1 | + concurrency |
| 1 | + ipc |
| 1 | + model-checking |
| 1 | + mozilla |
tasty by Adam Sampson.