Synchronizations in Team Automata for Groupware Systems

dc.contributor.authorter Beek, Maurice H.
dc.contributor.authorEllis, Clarence A.
dc.contributor.authorKleijn, Jetty
dc.contributor.authorRozenberg, Grzegorz
dc.date.accessioned2020-06-06T09:06:47Z
dc.date.available2020-06-06T09:06:47Z
dc.date.issued37653
dc.description.abstractTeam 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.de
dc.identifier.doi10.1023/A:1022407907596
dc.identifier.pissn1573-7551
dc.identifier.urihttp://dx.doi.org/10.1023/A:1022407907596
dc.identifier.urihttps://dl.eusset.eu/handle/20.500.12015/3633
dc.publisherSpringer
dc.relation.ispartofComputer Supported Cooperative Work (CSCW): Vol. 12, No. 1
dc.relation.ispartofseriesComputer Supported Cooperative Work (CSCW)
dc.subjectCSCW
dc.subjectformalization
dc.subjectgroupware systems
dc.subjectmaster-slave
dc.subjectpeer-to-peer
dc.subjectsynchronizations
dc.subjectteam automata framework
dc.titleSynchronizations in Team Automata for Groupware Systemsde
dc.typeText/Journal Article
gi.citation.endPage69
gi.citation.startPage21

Files