ISIS

1. A toolkit for implementing fault-tolerant distributed systems, developed at Cornell and now available commercially

2. A dialect of JOSS.

[Sammet 1969, p. 217].