« earlier | later » Page 1 of 1
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 |
| 1 | spin |
tasty by Adam Sampson.