IPC Protocols - MozillaWiki

Protocol specifications from the Mozilla project (they plan to model-check using SPIN).

to concurrency ipc model-checking mozilla spin ... on 03 April 2012

Tags related to spin

- spin
 
1 concurrency
1 ipc
1 model-checking
1 mozilla
1 spin