Publications of Maurice ter Beek

Refereed Journal Papers
Edited Volumes
Refereed Book Contributions
Refereed Conference and Workshop Papers
Theses
Miscellaneous Publications
Technical Reports
Disclaimer

Refereed Journal Papers

• M.H. ter Beek and J. Kleijn, Associativity of Infinite Synchronized Shuffles and Team Automata. Fundamenta Informaticae 91, 3-4 (2009), 437 - 461.
• M.H. ter Beek, S. Gnesi, D. Latella, M. Massink, M. Sebastianis, and G. Trentanni, Assisting the Design of a Groupware System - Model Checking Usability Aspects of thinkteam. The Journal of Logic and Algebraic Programming 78, 4 (2009), 191 - 232.
• M.H. ter Beek, A. Bucchiarone, and S. Gnesi, Formal Methods for Service Composition. Annals of Mathematics, Computing & Teleinformatics 1, 5 (2007), 1 - 10.
• M.H. ter Beek, E. Csuhaj-Varjú, M. Holzer, and Gy. Vaszil, On Competence in CD Grammar Systems with Parallel Rewriting. International Journal of Foundations of Computer Science 18, 6 (2007), 1425 - 1439.
• M.H. ter Beek and J. Kleijn, Infinite Unfair Shuffles and Associativity. Theoretical Computer Science 380, 3 (2007), 401 - 410.
• M.H. ter Beek, G. Lenzini, and M. Petrocchi, A Team Automaton Scenario for the Analysis of Security Properties in Communication Protocols. Journal of Automata, Languages and Combinatorics 11, 4 (2006), 345 - 374.
• M.H. ter Beek, C. Martín-Vide, and V. Mitrana, Synchronized Shuffles. Theoretical Computer Science 341, 1-3 (2005), 263 - 275.
• M.H. ter Beek and J. Kleijn, Modularity for Teams of I/O Automata. Information Processing Letters 95, 5 (2005), 487 - 495.
• M.H. ter Beek, E. Csuhaj-Varjú, and V. Mitrana, Teams of Pushdown Automata. International Journal of Computer Mathematics 81, 2 (2004), 141 - 156.
• M.H. ter Beek, C.A. Ellis, J. Kleijn, and G. Rozenberg, Synchronizations in Team Automata for Groupware Systems. Computer Supported Cooperative Work - The Journal of Collaborative Computing 12, 1 (2003), 21 - 69.
• M.H. ter Beek, Teams in Grammar Systems: Hybridity and Weak Rewriting. Acta Cybernetica - Selected Papers of the Workshop Grammar Systems: Recent Results and Perspectives, Budapest, July 1996 12, 4 (1996), 427 - 444.
  

Edited Volumes

• R. de Lemos, J.-C. Fabre, C. Gacek, F. Gadducci, and M. ter Beek (eds.), Architecting Dependable Systems VI. Lecture Notes in Computer Science 5835, Springer-Verlag, Berlin, 2009.
• M.H. ter Beek (ed.), Proceedings Fourth European Young Researchers Workshop on Service Oriented Computing (YR-SOC 2009), Pisa, Italy, 17-19 June 2009. Electronic Proceedings in Theoretical Computer Science 2, arXiv:0906.4900v1 [cs.SE], 2009.
• A. Aldini, M.H. ter Beek and F. Gadducci (eds.), Proceedings of the Third International Workshop on Views On Designing Complex Architectures (VODCA 2008), Bertinoro, Italy, 30-31 August 2008. Electronic Notes in Theoretical Computer Science 236, Elsevier Science Publishers, 2009.
• M.H. ter Beek and F. Gadducci (eds.), Proceedings of the Second International Workshop on Views On Designing Complex Architectures (VODCA 2006), Bertinoro, Italy, 16-17 September 2006. Electronic Notes in Theoretical Computer Science 168, Elsevier Science Publishers, 2007.
• M.H. ter Beek and F. Gadducci (eds.), Proceedings of the First International Workshop on Views On Designing Complex Architectures (VODCA 2004), Bertinoro, Italy, 11-12 September 2004. Electronic Notes in Theoretical Computer Science 142, Elsevier Science Publishers, 2006.
• M.H. ter Beek and J.I. van Hemert (eds.), Proceedings of the Internal AIO Conference (IAC'99), Leiden Institute of Advanced Computer Science, Universiteit Leiden, 14-15 December 1999.

Refereed Book Contributions

• M.H. ter Beek, S. Gnesi, C. Montangero, and L. Semini, Detecting Policy Conflicts by Model Checking UML State Machines. In Feature Interactions in Software and Communication Systems X (M. Nakamura and S. Reiff-Marganiec, eds.), IOS Press, Amsterdam, 2009, 59 - 74.
• M.H. ter Beek, M. Massink, D. Latella, and S. Gnesi, Model Checking Groupware Protocols. In Cooperative Systems Design - Scenario-Based Design of Collaborative Systems (F. Darses, R. Dieng, C. Simone, and M. Zacklad, eds.), Frontiers in Artificial Intelligence and Applications 107, IOS Press, Amsterdam, 2004, 179 - 194.
• M.H. ter Beek, Animal Farm: An Eco-Grammar System. In Grammars and Automata for String Processing - From Mathematics and Computer Science to Biology, and Back (C. Martín-Vide and V. Mitrana, eds.), Topics in Computer Mathematics 9, Taylor and Francis, London, 2003, 9 - 16.
• M. ter Beek and J. Kleijn, Petri Net Control for Grammar Systems. In Formal and Natural Computing - Essays Dedicated to Grzegorz Rozenberg (W. Brauer, H. Ehrig, J. Karhumäki, and A. Salomaa, eds.), Lecture Notes in Computer Science 2300, Springer-Verlag, Berlin, 2002, 220 - 243.
• M.H. ter Beek, Simple Eco-Grammar Systems with Prescribed Teams. In Grammatical Models of Multi-Agent Systems (Gh. Paun and A. Salomaa, eds.), Topics in Computer Mathematics 8, Gordon and Breach, London, 1999, 113 - 135.
• M.H. ter Beek, Teams in Grammar Systems: Sub-Context-Free Cases. In New Trends in Formal Languages - Control, Cooperation, and Combinatorics (Gh. Paun and A. Salomaa, eds.), Lecture Notes in Computer Science 1218, Springer-Verlag, Berlin, 1997, 197 - 216.
  

Refereed Conference and Workshop Papers

• P. Asirelli, M.H. ter Beek, A. Fantechi, and S. Gnesi, A deontic logical framework for modelling product families. In Proceedings of the Fourth International Workshop on Variability Modelling of Software-intensive Systems (VaMoS'10), Linz, Austria (D. Benavides, D. Batory, and P. Grünbacher, eds.), ICB Research Report 37, Universität Duisburg Essen, 2010, 37 - 44.
• M.H. ter Beek, A. Bucchiarone, and S. Gnesi, Dynamic Software Architecture Development: Towards an Automated Process. In Proceedings of the 35th EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA'09), Patras, Greece, IEEE Press, 2009, 105 - 108.
• M.H. ter Beek, G.P. Faconti, M. Massink, P.A. Palanque and M. Winckler, Resilience of Interaction Techniques to Interrupts: A Formal Model-Based Approach. In Human-Computer Interaction - INTERACT 2009: Part I of the Proceedings of the 12th IFIP TC 13 International Conference on Human-Computer Interaction (INTERACT'09), Uppsala, Sweden (T. Gross et al., eds.), Lecture Notes in Computer Science 5726, Springer-Verlag, Berlin, 2009, 494 - 509.
• P. Palanque, M. Winckler, J.-F. Ladry, M.H. ter Beek, G. Faconti, and M. Massink, A Formal Approach Supporting the Comparative Predictive Assessment of the Interruption-Tolerance of Interactive Systems. In Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS'09), Pittsburgh, PA, USA (G. Calvary, T.C.N. Graham, and P. Gray, eds.), ACM Press, 2009, 211 - 220.
• M.H. ter Beek, F. Mazzanti, and S. Gnesi, CMC-UMC: A Framework for the Verification of Abstract Service-Oriented Properties. In Proceedings of the 24th Annual ACM Symposium on Applied Computing (SAC'09), Honolulu, Hawaii, USA, ACM Press, 2009, 2111 - 2117.
• P. Asirelli, M.H. ter Beek, A. Fantechi, and S. Gnesi, Deontic Logics for Modeling Behavioural Variability. In Proceedings of the Third International Workshop on Variability Modelling of Software-intensive Systems (VaMoS'09), Sevilla, Spain (D. Benavides, A. Metzger, and U. Eisenecker, eds.), ICB Research Report 29, Universität Duisburg-Essen, 2009, 71 - 76.
• M. Massink, D. Latella, M.H. ter Beek, M. Harrison, and M. Loreti, A Fluid Flow Approach to Usability Analysis of Multi-user Systems. In Engineering Interactive Systems 2008 - Proceedings of the 2nd Conference on Human-Centered Software Engineering (HCSE'08), Pisa, Italy (P. Forbrig and F. Paternò, eds.), Lecture Notes in Computer Science 5247, Springer-Verlag, Berlin, 2008, 166 - 180.
• M.H. ter Beek, S. Gnesi, N. Koch, and F. Mazzanti, Formal Verification of an Automotive Scenario in Service-Oriented Computing. In Proceedings of the 30th International Conference on Software Engineering (ICSE'08), Leipzig, Germany, ACM Press, New York, 2008, 613 - 622.
• M.H. ter Beek, A. Fantechi, S. Gnesi, and F. Mazzanti, An Action/State-Based Model-Checking Approach for the Analysis of Communication Protocols for Service-Oriented Applications. In Formal Methods for Industrial Critical Systems - Revised Selected Papers of the 12th International Workshop on Formal Methods for Industrial Critical Systems (FMICS'07), Berlin, Germany (S. Leue and P. Merino, eds.), Lecture Notes in Computer Science 4916, Springer-Verlag, Berlin, 2008, 133 - 148.
• M.H. ter Beek, F. Gadducci, and D. Janssens, A Calculus for Team Automata. In Proceedings of the Brazilian Symposium on Formal Methods (SBMF'06), Natal, Rio Grande do Norte, Brazil (A. Martins Moreira and L. Ribeiro, eds.), Electronic Notes in Theoretical Computer Science 195, Elsevier Science Publishers, 2008, 41 - 55.
• M.H. ter Beek, A. Bucchiarone, and S. Gnesi, Formal Methods for Service Composition. In Proceedings of the 3rd South-East European Workshop on Formal Methods (SEEFM'07), Thessaloniki, Greece (D. Dranidis and I. Sakellariou, eds.), South-East European Research Centre, Thessaloniki, 2007, 65 - 78.
• M.H. ter Beek, C. Moiso, and M. Petrocchi, Modelling and Analysing an Identity Federation Protocol: Federated Network Providers Scenario. In Proceedings of the 2nd European Young Researchers Workshop on Service Oriented Computing (YR-SOC'07), Leicester, UK (S. Gorton, M. Solanki, and S. Reiff-Marganiec, eds.), University of Leicester, 2007, 94 - 100.
• M.H. ter Beek, C. Moiso and M. Petrocchi, Towards Security Analyses of an Identity Federation Protocol for Web Services in Convergent Networks. In Proceedings of the 3rd Advanced International Conference on Telecommunications (AICT'07), IEEE Computer Society, 2007.
• M.H. ter Beek, A. Bucchiarone and S. Gnesi, Web Service Composition Approaches: From Industrial Standards to Formal Methods. In Proceedings of the 2nd International Conference on Internet and Web Applications and Services (ICIW'07), IEEE Computer Society, 2007.
• M.H. ter Beek, S. Gnesi, F. Mazzanti, and C. Moiso, Formal Modelling and Verification of an Asynchronous Extension of SOAP. In Proceedings of the 4th IEEE European Conference on Web Services (ECOWS'06), Zurich, Switzerland (A. Bernstein, T. Gschwind, and W. Zimmermann, eds.), IEEE Computer Society, Los Alamitos, CA, 2006, 287 - 296.
• M.H. ter Beek, M. Massink, and D. Latella, Towards Model Checking Stochastic Aspects of the thinkteam User Interface. In Interactive Systems: Design, Specification, and Verification - Revised papers of the 12th International Workshop on Design, Specification, and Verification of Interactive Systems (DSVIS'05), Newcastle upon Tyne, UK (S.W. Gilroy and M.D. Harrison, eds.), Lecture Notes in Computer Science 3941, Springer, Berlin, 2006, 39 - 50.
• M.H. ter Beek and J. Kleijn, Infinite Unfair Shuffles and Associativity. In Proceedings of the 5th International Conference on Words (WORDS'05), Montréal (QC), Canada (S. Brlek and Ch. Reutenauer, eds.), Publications du Laboratoire de Combinatoire et d'Informatique Mathématique 36, Université du Québec à Montréal, Montréal, 2005, 129 - 146.
• M.H. ter Beek, M. Massink, D. Latella, S. Gnesi, A. Forghieri, and M. Sebastianis, A Case Study on the Automated Verification of Groupware Protocols. In Proceedings of the 27th International Conference on Software Engineering (ICSE'05), St. Louis, MO, U.S.A., ACM Press, New York, 2005, 596 - 603.
• M.H. ter Beek, M. Massink, D. Latella, S. Gnesi, A. Forghieri, and M. Sebastianis, Model Checking Publish/Subscribe Notification for thinkteam. In Proceedings of the Ninth International Workshop on Formal Methods for Industrial Critical Systems (FMICS'04), Linz, Austria (J. Bicarregui, A. Butterfield, and A. Arenas, eds.), Electronic Notes in Theoretical Computer Science 133, Elsevier Science Publishers, 2005, 275 - 294.
• M.H. ter Beek, G. Lenzini, and M. Petrocchi, Team Automata for Security - A Survey -. In Proceedings of the 2nd International Workshop on Security Issues in Coordination Models, Languages, and Systems (SecCo'04), London, UK (R. Focardi and G. Zavattaro, eds.), Electronic Notes in Theoretical Computer Science 128, 5, Elsevier Science Publishers, 2005, 105 - 119.
• M.H. ter Beek, E. Csuhaj-Varjú, M. Holzer, and Gy. Vaszil, On Competence in CD Grammar Systems. In Proceedings of the Eighth International Conference on Developments in Language Theory (DLT'04), Auckland, New Zealand (C.S. Calude, E. Calude, and M.J. Dinneen, eds.), Lecture Notes in Computer Science 3340, Springer-Verlag, Berlin, 2004, 76 - 88.
• M.H. ter Beek and J. Kleijn, Team Automata Satisfying Compositionality. In Proceedings of FME 2003: Formal Methods - the 12th International Symposium of Formal Methods Europe, Pisa, Italy (K. Araki, S. Gnesi, and D. Mandrioli, eds.), Lecture Notes in Computer Science 2805, Springer-Verlag, Berlin, 2003, 381 - 400.
• M. ter Beek, G. Lenzini, and M. Petrocchi, Team Automata for Security Analysis of Multicast/Broadcast Communication. In Proceedings of the ATPN-Workshop on Issues in Security and Petri Nets (WISP'03), Eindhoven, The Netherlands (N. Busi, R. Gorrieri, and F. Martinelli, eds.), Beta Research School for Operations Management and Logistics, Department of Technology Management, Eindhoven University of Technology, 2003, 57 - 71.
• M.H. ter Beek, E. Csuhaj-Varjú, and V. Mitrana, Teams of Pushdown Automata. In Perspectives of System Informatics - Revised papers of the Fifth International Andrei Ershov Memorial Conference (PSI 2003), Akademgorodok, Novosibirsk, Russia (M. Broy and A.V. Zamulin, eds.), Lecture Notes in Computer Science 2890, Springer-Verlag, Berlin, 2003, 329 - 337.
• M.H. ter Beek, C.A. Ellis, J. Kleijn, and G. Rozenberg, Team Automata for Spatial Access Control. In Proceedings of the Seventh European Conference on Computer-Supported Cooperative Work (ECSCW 2001), Bonn, Germany (W. Prinz, M. Jarke, Y. Rogers, K. Schmidt, and V. Wulf, eds.), Kluwer Academic Publishers, Dordrecht, 2001, 59 - 77.
• M.H. ter Beek, C.A. Ellis, J. Kleijn, and G. Rozenberg, Team Automata for CSCW. In Proceedings of the Second International Colloquium on Petri Net Technologies for Modelling Communication Based Systems, Berlin, Germany (H. Weber, H. Ehrig, and W. Reisig, eds.), Fraunhofer Institute for Software and Systems Engineering, Berlin, Germany, 2001, 1 - 20.
• P.J. 't Hoen and M.H. ter Beek, A Conflict-Free Strategy for Team-Based Model Development. In Proceeedings of Second International Workshop on Process support for Distributed Team-based Software Development (PDTSD'00) in conjunction with the Fourth World MultiConference on Systemics, Cybernetics and Informatics (SCI 2000), Orlando, Florida. Volume IX: Industrial Systems (B. Sanchez, R. Hammel II, M. Soriano, and P. Tiako, eds.), International Institute of Informatics and Systemics, 2000, 720 - 725.
  

Theses

• M.H. ter Beek, Team Automata - A Formal Approach to the Modeling of Collaboration Between System Components. Ph.D. thesis, Leiden Institute of Advanced Computer Science, Leiden University, 2003.
• M.H. ter Beek, Teams in grammar systems, IR-96-32 (Master's thesis), Department of Computer Science, Leiden University, 1996.

Miscellaneous Publications

• M.H. ter Beek, S. Gnesi, D. Latella, M. Massink, M. Sebastianis, and G. Trentanni, Assisting the Design of an Industrial Groupware System by Model Checking. ERCIM News - R&D and Technology Transfer 73 (2008), 43 - 44.
• M.H. ter Beek, S. Gnesi, F. Martinelli, F. Mazzanti, and M. Petrocchi, Formal Modelling and Verification in Service-Oriented Computing. ERCIM News - Special: Service-Oriented Computing 70 (2007), 27 - 28.
• M.H. ter Beek, G. Lenzini, and M. Petrocchi, Contributions of Team Automata in Security. ERCIM News - Special: Security and Trust Management 63 (2005), 38 - 39.
• M.H. ter Beek, M. Massink, D. Latella, S. Gnesi, A. Forghieri, and M. Sebastianis, The thinkteam User Interface. PRISM (Probabilistic Symbolic Model Checker) Case Studies, 2005.
• M.H. ter Beek, M. Massink, D. Latella, S. Gnesi, A. Forghieri, and M. Sebastianis, Automated Verification of Groupware Protocols. ERCIM News - Special: Automated Software Engineering 58 (2004), 33 - 35.
  

Rapporti tecnici

• M.H. ter Beek and F. Mazzanti, Modelling and Analysing the Finance Case Study in UMC. Technical Report 2010-TR-007, Istituto di Scienza e Tecnologie dell'Informazione, Consiglio Nazionale delle Ricerche, 2010.
• M.H. ter Beek, S. Gnesi, D. Latella, M. Massink, G. Trentanni and M. Sebastianis, thinkteam with Replicated Data Repositories - Stochastic Model Checking in Industry. Technical Report 2009-TR-027, Istituto di Scienza e Tecnologie dell'Informazione, Consiglio Nazionale delle Ricerche, 2009.
• M.H. ter Beek, G.P. Faconti, M. Massink, P. Palanque and M. Winckler, Resilience of Interaction Techniques to Interrupts: A Formal Model-based Approach - Full Version. Technical Report 2009-TR-001, Istituto di Scienza e Tecnologie dell'Informazione, Consiglio Nazionale delle Ricerche, 2009.
• M. Massink, D. Latella, M.H. ter Beek, M. Harrison and M. Loreti, A Fluid Flow Approach to Usability Analysis of Multi-user Systems - Full Version. Technical Report 2008-TR-14, Istituto di Scienza e Tecnologie dell'Informazione, Consiglio Nazionale delle Ricerche, 2008.
• M.H. ter Beek, S. Gnesi, D. Latella, M. Massink, M. Sebastianis, and G. Trentanni, Assisting the Design of a Groupware System. Technical Report 2008-TR-13, Istituto di Scienza e Tecnologie dell'Informazione, Consiglio Nazionale delle Ricerche, 2008.
• M.H. ter Beek, C. Moiso and M. Petrocchi, Towards Security Analyses of an Identity Federation Protocol for Web Services in Convergent Networks. Technical Report 2006-TR-42, Istituto di Scienza e Tecnologie dell'Informazione, Consiglio Nazionale delle Ricerche, 2006.
• M.H. ter Beek, S. Gnesi, F. Mazzanti and C. Moiso, Formal Modelling and Verification of an Asynchronous Extension of SOAP. Technical Report 2006-TR-19, Istituto di Scienza e Tecnologie dell'Informazione, Consiglio Nazionale delle Ricerche, 2006.
• M.H. ter Beek, A. Bucchiarone and S. Gnesi, A Survey on Service Composition Approaches: From Industrial Standards to Formal Methods. Technical Report 2006-TR-15, Istituto di Scienza e Tecnologie dell'Informazione, Consiglio Nazionale delle Ricerche, 2006.
• M.H. ter Beek, F. Gadducci and D. Janssens, A calculus for team automata. Technical Report 05/13, Department of Mathematics and Computer Science, University of Antwerp, 2005.
• M.H. ter Beek, M. Massink, and D. Latella, Towards Model Checking Stochastic Aspects of the thinkteam User Interface - FULL VERSION. Technical Report 2005-TR-18, Istituto di Scienza e Tecnologie dell'Informazione, Consiglio Nazionale delle Ricerche, 2005.
• M.H. ter Beek and J. Kleijn, Infinite Unfair Shuffles and Associativity. Technical Report 2005-03, Leiden Institute of Advanced Computer Science, Universiteit Leiden, 2005.
• M.H. ter Beek and J. Kleijn, Modularity for Teams of I/O Automata. Technical Report 2004-09, Leiden Institute of Advanced Computer Science, Universiteit Leiden, 2004.
• M.H. ter Beek, M. Massink, D. Latella, S. Gnesi, A. Forghieri, and M. Sebastianis, Model Checking Publish/Subscribe Notification for thinkteam. Technical Report 2004-TR-20, Istituto di Scienza e Tecnologie dell'Informazione, Consiglio Nazionale delle Ricerche, 2004.
• M.H. ter Beek, G. Lenzini, and M. Petrocchi, Team Automata for Security - A Survey -. Technical Report IIT TR-06/2004, Istituto di Informatica e Telematica, Consiglio Nazionale delle Ricerche, 2004.
• M.H. ter Beek, G. Lenzini, and M. Petrocchi, Team Automata for Security Analysis. Technical Report TR-CTIT-04-13, Centre for Telematics and Information Technology, University of Twente, 2004.
• M.H. ter Beek, M. Massink, D. Latella, and S. Gnesi, Model Checking Groupware Protocols. Technical Report 2003-TR-61, Istituto di Scienza e Tecnologie dell'Informazione, Consiglio Nazionale delle Ricerche, 2003.
• M.H. ter Beek, C. Martín-Vide, and V. Mitrana, Synchronized Shuffles. Technical Report 2003-TR-40, Istituto di Scienza e Tecnologie dell'Informazione, Consiglio Nazionale delle Ricerche, 2003.
• M.H. ter Beek and J. Kleijn, Team Automata Satisfying Compositionality. Technical Report 2003-TR-17, Istituto di Scienza e Tecnologie dell'Informazione, Consiglio Nazionale delle Ricerche, 2003.
• M. ter Beek, G. Lenzini, and M. Petrocchi, Team Automata for Security Analysis of Multicast/Broadcast Communication. Technical Report 2003-TR-13, Istituto di Scienza e Tecnologie dell'Informazione, Consiglio Nazionale delle Ricerche, 2003.
• M.H. ter Beek, E. Csuhaj-Varjú, and V. Mitrana, Teams of Pushdown Automata. Technical Report 2002/4, Research Group on Modelling Multi-Agent Systems, Computer and Automation Research Institute, Hungarian Academy of Sciences, 2002.
• M.H. ter Beek, E. Csuhaj-Varjú, M. Holzer, and Gy. Vaszil, On Competence in Cooperating Distributed Grammar Systems, part III. Technical Report 2002/3, Research Group on Modelling Multi-Agent Systems, Computer and Automation Research Institute, Hungarian Academy of Sciences, 2002.
• M.H. ter Beek, E. Csuhaj-Varjú, M. Holzer, and Gy. Vaszil, On Competence in Cooperating Distributed Grammar Systems, part II. Technical Report 2002/2, Research Group on Modelling Multi-Agent Systems, Computer and Automation Research Institute, Hungarian Academy of Sciences, 2002.
• M.H. ter Beek, E. Csuhaj-Varjú, M. Holzer, and Gy. Vaszil, On Competence in Cooperating Distributed Grammar Systems. Technical Report 2002/1, Research Group on Modelling Multi-Agent Systems, Computer and Automation Research Institute, Hungarian Academy of Sciences, 2002.
• M.H. ter Beek, C.A. Ellis, J. Kleijn, and G. Rozenberg, Team Automata for CSCW. Technical Report TR-01-07, Leiden Institute of Advanced Computer Science, Universiteit Leiden, 2001.
• M.H. ter Beek, C.A. Ellis, J. Kleijn, and G. Rozenberg, Team Automata for Spatial Access Control. Technical Report TR-01-03, Leiden Institute of Advanced Computer Science, Universiteit Leiden, 2001.
  
• M.H. ter Beek, C.A. Ellis, J. Kleijn, and G. Rozenberg, Synchronizations in Team Automata for Groupware Systems. Technical Report TR-99-12, Leiden Institute of Advanced Computer Science, Universiteit Leiden, 1999.
  

Disclaimer

Most of the papers made available via my homepage have appeared in print and their copyright is often held by the publisher. Hence, while these papers can be used for personal use, their redistribution or reprinting for commercial purposes is prohibited.