[erlang-questions] erlang-questions Digest, Vol 12, Issue 102

[Raoul Duke]

hi,

> With respect to avoiding deadlocks or ensuring there are none, I would
> design my system based on CSP (Communicating sequential processes)
> concepts. i.e Independent processes communicating via a pipe without
> any shared memory.

I believe that's sort of what Erlang does by nature ;-) so it is then
a question of what modeling tools exist and how well they work. It
isn't enough to design with CSP, you can still create deadlocks in it
- you have to run a checker over it to try to prove there isn't any.

sincerely.