CLiki for the TUNES project
LoI is an
for "Language of Interaction". As its name suggests, it is a
that supports "Interaction-Oriented Programming". It is roughly based on
, with some extensions for communications types and non-determinism.
Website, with more information on IOP