Team automata : a formal approach to the modeling of collaboration between system components

Leiden Repository

Team automata : a formal approach to the modeling of collaboration between system components

Title: Team automata : a formal approach to the modeling of collaboration between system components
Author: Beek, Maurice Henri ter
Publisher: Leiden Institute of Advanced Computer Science (LIACS), Faculty of Science, Leiden University
Issue Date: 2003-12-10
Keywords: Team Automata
Collaboration
Cooperation
Synchronizations
Compositionality
Synchronized shuffles
CSCW
Abstract: 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 flexibility that team automata offer when modeling collaboration between system components
Description: Promotor: G. Rozenberg, Co-promotor: H.C.M.Kleijn
With summary in Dutch
Faculty: Faculteit der Wiskunde en Natuurwetenschappen
Citation: Beek, M.H.ter, 2003, Doctoral thesis, Leiden University
Series/Report no.: IPA dissertation series ; 2003-10
Handle: http://hdl.handle.net/1887/29570
 

Files in this item

Description Size View
application/pdf Full text 3.605Mb View/Open
application/pdf Title page_ Acknowledgements_Table of contents 162.7Kb View/Open
application/pdf Chapter 1 Introduction 214.6Kb View/Open
application/pdf Chapter 2 176.4Kb View/Open
application/pdf Chapter 3 437.7Kb View/Open
application/pdf Chapter 4 742.4Kb View/Open
application/pdf Chapter 5 599.0Kb View/Open
application/pdf Chapter 6 999.4Kb View/Open
application/pdf Chapter 7 613.9Kb View/Open
application/pdf Chapter 8 449.6Kb View/Open
application/pdf Chapter 9 122.2Kb View/Open
application/pdf Bibliography_Li ... res_List of symbols_Index. 317.5Kb View/Open
application/pdf Summary in Dutch 141.4Kb View/Open
application/pdf Curriculum Vitae_IPA disseration series list 163.6Kb View/Open
application/pdf Propositions 117.1Kb View/Open

This item appears in the following Collection(s)