« earlier | later » Page 1 of 1
Unicorn Unix Magic Tricks - Thorsten Ball
"How would one build something like this? I had no idea." The author then goes on to explore in detail how to build a process farm; a nice overview of the techniques.
Protocol specifications from the Mozilla project (they plan to model-check using SPIN).
to concurrency ipc model-checking mozilla spin ... on 03 April 2012
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 |
| 3 | ipc |
| 1 | language |
| 1 | model-checking |
| 1 | mozilla |
| 1 | parallelism |
| 1 | process |
| 1 | research |
| 1 | server |
| 1 | spin |
| 1 | unix |
| 1 | web |
tasty by Adam Sampson.