The role of agent interaction in models of computing: Panelist reviews

Electronic Notes in Theoretical Computer Science

Volumn 141, Issue 5, 2005, Pages 181-198

  Wegner, Peter ^a   Arbab, Farhad ^b   Goldin, Dina ^a   McBurney, Peter ^c   Luck, Michael ^d   Robertson, Dave ^e  

^a BROWN UNIVERSITY   (United States)

^b LEIDEN UNIVERSITY   (Netherlands)

^c UNIVERSITY OF LIVERPOOL   (United Kingdom)

^d UNIVERSITY OF SOUTHAMPTON   (United Kingdom)

^e UNIVERSITY OF EDINBURGH   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

MATHEMATICAL MODELS; MATHEMATICAL TRANSFORMATIONS; TURNING;

TURNING MACHINES (TM);

SOFTWARE AGENTS;

EID: 29144489031     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2005.05.022     Document Type: Conference Paper

References (36)

1. G. Agha Actors: A Model of Concurrent Computation in Distributed Systems 1986 MIT Press
2. F. Arbab Reo: A channel-based coordination model for component composition Math. Structures in Computer Science 14 3 June 2004 329 366
3. F. Arbab Abstract Behavior Types: A foundation model for components and their composition Science of Computer Programming 55 March 2005 3 52
4. F. Arbab, C. Baier, J.J.M.M. Rutten, and M. Sirjani Modeling component connectors in Reo by Constraint Automata Proc. Int'l Workshop on Foundations of Coordination Languages and Software Architectures (FOCLASA 2003) Electronic Notes in Theoretical Computer Science (ENTCS) 97 July 2004 25 46 Elsevier
5. F. Arbab, and J.J.M.M. Rutten A coinductive calculus of component connectors D. Pattinson M. Wirsing R. Hennicker Recent Trends in Algebraic Development Techniques, Proc. 16th Int'l Workshop on Algebraic Development Techniques (WADT 2002) LNCS 2755 2003 Springer-Verlag 35 56
6. J.A. Bergstra, and J.W. Klop Process algebra for synchronous communication Information and Control 60 1984 109 137
7. J.A. Bergstra, and J.W. Klop Process algebra: specification and verification in bisimulation semantics M. Hazewinkel J.K. Lenstra L.G.L.T. Meertens Mathematics and Computer Science II CWI Monograph 4 1986 North-Holland Amsterdam 61 94
8. Curriculum 68: Recommendations for Academic Programs in Computer Science, A Report of the ACM Curriculum Committee on Computer Science Comm. ACM 11 3 Mar. 1968 151 197
9. R. Brooks. Intelligence Without Reason. MIT AI Lab Technical Report 1293
10. E. Eberbach, D. Goldin, and P. Wegner Turing's Ideas and Models of Computation Christof Teuscher Alan Turing: Life and Legacy of a Great Thinker 2004 Springer
11. D. Goldin, S. Smolka, P. Attie, and E. Sonderegger Turing Machines, Transition Systems, and Interaction Information and Computation 194 2 Nov. 2004 101 128
12. D. Goldin, and P. Wegner The Church-Turing Thesis: Breaking the Myth LNCS 3526 2005 Springer 152 168
13. S. Goldwasser, S. Micali, and C. Rackoff The knowledge complexity of interactive proof systems SIAM J. Comp. 18 1 1989 186 208
14. C.A.R. Hoare Communicating Sequential Processes Prentice Hall International Series in Computer Science 1985 Prentice-Hall
15. N.R. Jennings An agent-based approach for building complex software systems Comm. ACM 44 4 2001 35 41
16. D. Knuth The Art of Computer Programming, Vol. 1: Fundamental Algorithms 1968 Addison-Wesley
17. M. Luck, P. McBurney, and C. Preist. Agent Technology: Enabling Next Generation Computing. A Roadmap for Agent Based Computing. AgentLink II, the European Network of Excellence for Agent-Based Computing, Southampton, UK, 2003
18. M. Luck, P. McBurney, and C. Preist A manifesto for agent technology: towards next generation computing J. Autonomous Agents and Multi-Agent Systems 9 3 2004 203 252
19. M. Luck, P. McBurney, S. Willmott, and O. Shehory. Agent Technology: Enabling Next Generation Computing. A Roadmap for Agent Based Computing. AgentLink III, the European Co-ordination Action for Agent-Based Computing, University of Southampton, Southampton, UK, 2005. In press
20. N. Lynch, and M. Tuttle An Introduction to Input/Output automata CWI Quarterly 2 3 Sep. 1989 219 246 Centrum voor Wiskunde en Informatica, Amsterdam, The Netherlands
21. R. Milner A Calculus of Communicating Systems LNCS 92 1980 Springer
22. R. Milner Elements of interaction Comm. ACM 36 1 Jan. 1993 78 89
23. J.K. Rice, and J.N. Rice Computer Science: Problems, Algorithms, Languages, Information and Computers 1969 Holt, Rinehart and Winston
24. S. Russell, and P. Norveig Artificial Intelligence: A Modern Approach 1994 Addison-Wesley
25. D. Sangiorgi, and D. Walker The Pi-Calculus - A Theory of Mobile Processes 2001 Cambridge University Press
26. SIGACT News, ACM Press, March 2004, p. 49
27. Jan van Leeuwen, and Jiří Wiedermann On the power of interactive computing J. van Leeuwen O. Watanabe M. Hagiya P.D. Mosses T. Ito Proc. 1st Int'l Conf. on Theoretical Computer Science - Exploring New Frontiers of Theoretical Informatics IFIP TCS'2000 (Sendai, Japan, August 17-19, 2000) LNCS 1872 2000 Springer-Verlag 619 623
28. Jan van Leeuwen, and Jiří Wiedermann Beyond the turing limit: Evolving interactive systems L. Pacholski P. Ruicka SOFSEM 2001: 28th Conf. on Current Trends in Theory and Practice of Informatics LNCS 2234 2001 Springer-Verlag 90 109
29. Wan Fokkink Introduction to Process Algebra Texts in Theoretical Computer Science, An EATCS Series 1999 Springer-Verlag
30. P. Wegner Interaction as a basis for empirical computer science ACM Computing Surveys 27 1 March 1995 45 48
31. P. Wegner Why Interaction is More Powerful Than Algorithms Comm. ACM May 1997
32. P. Wegner Interactive foundations of computing Theoretical Computer Science 192 2 Feb. 1998 315 351
33. P. Wegner, and D. Goldin Interaction as a framework for modeling LNCS 1565 1999 243 257
34. P. Wegner, and D. Goldin Computation Beyond Turing Machines Comm. ACM Apr. 2003
35. M.J. Wooldridge, and N.R. Jennings Intelligent agents: theory and practice Knowledge Engineering Review 10 2 1995 115 152
36. F. Zambonelli, and H.v.D. Parunak Signs of a revolution in computer science and software engineering P. Petta R. Tolksdorf F. Zambonelli, eds., Engineering Societies in the Agents World (ESAW 2002) Lecture Notes in Artificial Intelligence 2577 2003 Springer Berlin, Germany 13 28