« 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
Common Message Runtime edit / delete
Suggesting POP as a means of getting inter-language support. The library he suggests (for inter-process lightweight concurrency and communication with shared memory) would be a worthwhile project to implement.
to ipc language parallelism research ... on 09 September 2006
« earlier | later » Page 1 of 1
| - ipc | |
| 1 | + concurrency |
| 1 | + language |
| 1 | + model-checking |
| 1 | + mozilla |
| 1 | + parallelism |
| 1 | + research |
| 1 | + spin |
tasty by Adam Sampson.