Author: Maurice H. Ter Beek

Publications

Co-authors

Grzegorz Rozenberg

1

Mieke Massink

1

Diego Latella

1

Productive Colleagues

Grzegorz Rozenberg

3

Mieke Massink

11

Clarence Ellis

16

Publications

Beek, Maurice H. Ter, Ellis, Clarence, Kleijn, Jetty, Rozenberg, Grzegorz (2003): Synchronizations in Team Automata for Groupware Systems. In Computer Supported Cooperative Work, 12 (1) pp. 21-69.

Beek, Maurice H. Ter, Massink, Mieke, Latella, Diego (2005): Towards Model Checking Stochastic Aspects of the thinkteam User Interface. In: Gilroy, Stephen W., Harrison, Michael D. (eds.) DSV-IS 2005 - Interactive Systems, Design, Specification, and Verification, 12th International Workshop July 13-15, 2005, Newcastle upon Tyne, UK. pp. 39-50. https://dx.doi.org/10.1007/11752707_4