Abstractions for Message-Passing
I’ve been writing a couple of papers recently based on CHP. The latest is (provisionally) titled “Abstractions for Message-Passing” (naming suggestions are welcome!). It’s a combination of general CHP, process wiring, process composition and behaviours. I’m going to try submitting it to ICFP — I hope it’s a good enough fit, being the application of FP-like ideas to message-passing within an FP language. I’m posting it here, partly so you can read it if interested (it effectively provides a summary of a lot of my recent work in CHP), and partly in the hope that I might get some constructive feedback (small or big). The deadline is this Friday afternoon (2nd April), which I realise is now quite close, but in case anyone has time to read it this week I’d welcome any comments — for example, I can’t help but feel I’m missing more related work. Link to the current draft is here.
I know I’m really coming in close to the wire here, but:
Trivial: The footer of each page contains “short description of paper”, the title page contains “banner above paper title”.
Somewhat less trivial: The prime symbol got lost in section 6.3 in the PDF, the first rule of the production grammar reads “g: g, END”, which threw me for a moment, and the second one is missing the prime too. The text is correct.
Not as close to the wire as me :-) Good spot on the prime. I ended up doing quite a lot more work on the paper, including adding and expanding various sections. Now submitted!