Teams of Pushdown Automata

We introduce team pushdown automata as a theoretical framework capable of modelling various communication and cooperation strategies in complex, distributed systems. Team pushdown automata are obtained by augmenting distributed pushdown automata with the notion of team cooperation or — alternatively — by augmenting team automata with pushdown memory. Here we study their accepting capacity.

[1]  Victor Mitrana,et al.  Stack Cooperation in Multistack Pushdown Automata , 1999, J. Comput. Syst. Sci..

[2]  Victor Mitrana,et al.  Parallel Communicating Pushdown Automata Systems , 2000, Int. J. Found. Comput. Sci..

[3]  John B. Smith,et al.  Collective Intelligence in Computer-Based Collaboration , 1994 .

[4]  Grzegorz Rozenberg,et al.  Handbook of Formal Languages , 1997, Springer Berlin Heidelberg.

[5]  Jonathan Grudin,et al.  Computer-supported cooperative work: history and focus , 1994, Computer.

[6]  Maurice H. ter Beek,et al.  Team Automata: A Formal Approach to the Modeling of Collaboration Between System Components , 2003 .

[7]  Gheorghe Paun,et al.  Prescribed teams of grammars , 2005, Acta Informatica.

[8]  H. Penny Nii,et al.  Blackboard Systems, Part One: The Blackboard Model of Problem Solving and the Evolution of Blackboard Architectures , 1986, AI Mag..

[9]  Nancy A. Lynch,et al.  An introduction to input/output automata , 1989 .

[10]  Paul R. Cohen,et al.  Handbook of AI , 1986 .

[11]  Victor Mitrana,et al.  Distributed Pushdown Automata Systems: Computational Power , 2003, Developments in Language Theory.

[12]  Clarence A. Ellis.  Team automata for groupware systems , 1997, GROUP '97.

[13]  Nancy A. Lynch,et al.  Distributed Algorithms , 1992, Lecture Notes in Computer Science.

[14]  Erzsébet Csuhaj-Varjú,et al.  On Competence and Completeness in CD Grammar Systems , 1996, Acta Cybern..

[15]  H. Penny Nii,et al.  Blackboard systems: the blackboard model of problem solving and the evolution of blackboard architectures , 1995 .

[16]  Ronald M. Baecker,et al.  Readings in Groupware and Computer-Supported Cooperative Work: Assisting Human-Human Collaboration , 1992 .

[17]  Gheorghe Paun,et al.  Grammar Systems: A Grammatical Approach to Distribution and Cooperation , 1995, ICALP.

[18]  Gheorghe Paun,et al.  Teams in cooperating grammar systems , 1995, J. Exp. Theor. Artif. Intell..

[19]  Erzsébet Csuhaj-Varjú,et al.  On Cooperating/Distributed Grammar Systems , 1990, J. Inf. Process. Cybern..

[20]  David Harel,et al.  On the power of bounded concurrency II: pushdown automata , 1994, JACM.

[21]  Kamala Krithivasan,et al.  Distributed Processing in Automata , 1999, Int. J. Found. Comput. Sci..

[22]  Grzegorz Rozenberg,et al.  Synchronizations in Team Automata for Groupware Systems , 2003, Computer Supported Cooperative Work (CSCW).

[23]  H. P Nii,et al.  Blackboard Systems , 1986 .

[24]  Gheorghe Paun,et al.  Grammar Systems , 1997, Handbook of Formal Languages.

[25]  Grzegorz Rozenberg,et al.  Team automata for spatial access control , 2001, ECSCW.