Modeling Role-Based Systems with Exogenous Coordination

Philipp Chrszon, Clemens Dubslaff, Christel Baier, Joachim Klein 0001, Sascha Klüppelholz. Modeling Role-Based Systems with Exogenous Coordination. In Erika Ábrahám, Marcello M. Bonsangue, Einar Broch Johnsen, editors, Theory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday. Volume 9660 of Lecture Notes in Computer Science, pages 122-139, Springer, 2016. [doi]

Authors

Philipp Chrszon

This author has not been identified. Look up 'Philipp Chrszon' in Google

Clemens Dubslaff

This author has not been identified. Look up 'Clemens Dubslaff' in Google

Christel Baier

This author has not been identified. Look up 'Christel Baier' in Google

Joachim Klein 0001

This author has not been identified. Look up 'Joachim Klein 0001' in Google

Sascha Klüppelholz

This author has not been identified. Look up 'Sascha Klüppelholz' in Google