Hi,
Matej Kosik wrote: Anyone followed links that Andreas gave?
???
There is a dissertation that addresses two fundamental problems:
from the situation where you
- it introduces synchronization mechanisms that are meant to escape
(Erlang does not solve these problems. The recent book about Erlang does not even mention the word "deadlock")
- either have interference
- or non-deterministic deadlock
- *security*
It is a point-of-view-changing reading.
It would be helpful if people pointed to specific web pages or papers rather than simply pointing to ENTIRE web sites. Even better would be to quote the material (unless that's inappropriate for copyright reasons) in their posting. It does take a while to digest this stuff and there are lots of links and papers flying around. Thanks very much.
Is there a particularly cogent link on erights.org that we should look at?
Thanks again,
Peter