Formal Semantics for Roles

Thomas Kühn 0001. Formal Semantics for Roles. In Anja Jentzsch, Tobias Pape, Sebastian Pasewaldt, editors, Proceedings of the 8th Joint Workshop of the German Research Training Groups in Computer Science - Dagstuhl 2014, Dagstuhl, Germany, June 15-18, 2014. pages 217, Pro Business GmbH, 2014.

Abstract

Abstract is missing.