Extended type systems of action languages for the development of communication protocols.

Thomas Kistel, Ralf Vandenhouten

Browse the full SMC paper archive.