Obliq
A distributed object-oriented programming language by Luca Cardelli, implemented on Modula-3. It works transparently over single address-spaces, multiple ones on the same machine, multiple machines on a network, or over the internet.- The home page.