Appia, a flexible protocol kernel supporting multiple coordinated channels - H. Miranda (2001)