2005-06-19 · in Ideas · 56 words

We have a set of conventions for how to draw various sorts of occam things: processes, regular and shared channels, barriers and so on. It would be useful to have this properly documented somewhere, along with new symbols for mobile processes, semaphores and other synchronisation mechanisms.

Dave Beckett's visual process editor did some of this work.