LoI

LoI is an acronym for "Language of Interaction". As its name suggests, it is a programming language that supports "Interaction-Oriented Programming". It is roughly based on Java, with some extensions for communications types and non-determinism.