Home > Uncategorized > Abstractions for Message-Passing

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.

Categories: Uncategorized
  1. April 2, 2010 at 2:13 am

    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.

  2. April 2, 2010 at 11:12 am

    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!

  1. No trackbacks yet.

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out /  Change )

Google+ photo

You are commenting using your Google+ account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )


Connecting to %s

%d bloggers like this: