This thesis studies formal aspects of team automata, a mathematical framework introduced in 1997 by C.A. Ellis to model components of groupware systems and their interconnections. We focus on the... Show moreThis thesis studies formal aspects of team automata, a mathematical framework introduced in 1997 by C.A. Ellis to model components of groupware systems and their interconnections. We focus on the flexibility that team automata offer when modeling collaboration between system components Show less
