Hermes

IBM, June 1990

An imperative, strongly typed process-oriented language for complex distributed systems. A follow-on effort to NIL[2]. Threads, relational tables, typestate checking, capability-based access, dynamic configuration.

Hermes: A Language for Distributed Computing, Robert E. Strom et al, Prentice-Hall, 1991, ISBN 0-13-389537-8.