ter Beek, Maurice H.Ellis, Clarence A.Kleijn, JettyRozenberg, Grzegorz2020-06-062020-06-06376532003http://dx.doi.org/10.1023/A:1022407907596https://dl.eusset.eu/handle/20.500.12015/3633Team automata have been proposed in Ellis (1997) as a formal framework for modeling both the conceptual and the architectural level of groupware systems. Here we define team automata in a mathematically precise way in terms of component automata which synchronizeon certain executions of actions.At the conceptual level, our model serves as a formal framework in whichbasic groupware notions can be rigorously defined and studied.At the architectural level, team automata can be used as building blocksin the design of groupware systems.CSCWformalizationgroupware systemsmaster-slavepeer-to-peersynchronizationsteam automata frameworkText/Journal Article10.1023/A:10224079075961573-7551