Hi Lex,

I haven't really followed this thread but you might find interesting a language called Hermes, developed at the IBM Watson research institute.

It is a "process oriented" language which uses ports (as capabilities) for communicate between processes.

The main man is a chap call Robert Strom. He has written a number of papers and a book on the language.

Check out:

http://www.idiom.com/free-compilers/TOOL/Hermes-1.html

I've had a quick search but can't find any downloadable papers. You might try:

http://www.research.ibm.com/index.html

Aparently Jave has borrowed the typestate ideas of Hermes.

Cheers,

Stewart

-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/ms-tnef
Size: 1572 bytes
Desc: not available
Url : http://lists.squeakfoundation.org/pipermail/squeak-dev/attachments/20000420/b52b301d/attachment.bin