Thomas Kistel, Ralf Vandenhouten. Extended type systems of action languages for the development of communication protocols. In 2014 IEEE International Conference on Systems, Man, and Cybernetics, SMC 2014, San Diego, CA, USA, October 5-8, 2014. pages 3054-3057, IEEE, 2014. [doi]
Abstract is missing.