[Cranefield:onto] Stephen Cranefield, Martin Purvis, Mariusz Nowostawski, and Peter Hwang, Ontologies for Interaction Protocols, [Cached][Update]
[hendler01:ieee] J. Hendler, Agents and the Semantic Web, Intelligent Systems, IEEE, Vol. 16, 2, March-April 2001, [Cached][Link][Update]
[sycara97:middleagent] K. Sycara, K. Decker, and M. Williamson, Middle-Agents for the Internet, in Proceedings of IJCAI-97, Jan 1997, [Cached][Link][Update]
[wong00:taxonomyMiddleAgent] K.H. Wong, and K. Sycara, A Taxonomy of Middle-Agents for the Internet, in Proceedings of ICMAS'2000, 2000, [Cached][Link][Update]
[case01:ecommunities] Simon Case, Nader Azarmi, Marcus Thint, and Takeshi Ohtani, Enhancing E-Communities with Agent-Based Systems, IEEE Computer, 2001, [Cached][Link][Update]
[guttman98:cbb] R. Guttman, A. Moukas, and P. Maes, Agent-mediated Electronic Commerce: A Survey, Knowledge Engineering Review, 1998, [Cached][Link][Update]
[sycara02:larks] K. Sycara, S. Widoff, M. Klusch, and J. Lu, LARKS: Dynamic Matchmaking Among Heterogeneous Software Agents in Cyberspace, Autonomous Agents and Multi-Agent Systems, Vol. 5, 3, p. 173-203, September 2002, [Cached][Link][Update]
[bauer:auml] Bernhard Bauer, J\org P. M\uller, and James Odell, Agent UML: A Formalism for Specifying Multiagent Interaction, [Cached][Update]
[nwana96:ao] H. S. Nwana, Software Agents: An Overview, The Knowledge Engineering Review, Vol. 11, 3, p. 1-40, 1996, [Cached][Link][Update]{@compendium8072}
[Serenko:overview] Alexander Serenko, and Brian Detlor, Agent Toolkits: A General Overview of the Market and an Assessment of Instructor Satisfaction with Utilizing Toolkits in the Classroom, [Cached][Link][Update]
[wooldridge95:ia] M. Wooldridge, and N. R. Jennings, Intelligent agents: Theory and practice, The Knowledge Engineering Review, Vol. 10, 2, p. 115-152, 1995, [Cached][Link][Update]{@compendium8072}
[matskin01agora] M. Matskin, O. J. Kirkeluten, S. B. Krossnes, and \O . S\aele, Agora: An Infrastructure for Cooperative Work Support in Multi-Agent Systems, Infrastructure for Agents, Muddlti-Agents, and Scalable Multi-Agent Systems, Vol. 1887, Springer Verlag, p. 28-40, 2001, [Cached][Link][Update]
[achermann01:piccola] Franz Achermann, Markus Lumpe, Jean-Guy Schneider, and Oscar Neirstrasz, Piccola - a Small Composition Language, Formal Methods for Distributed Processing - A Survey of Object-Oriented Approaches, Cambridge University Press, p. 403-426, 2001, [Cached][Link][Update]
[cresswell99:recursive] Stephen Cresswell, Alan Smaill, and Julian Richardson, Deductive Synthesis of Recursive Plans in Linear Logic, in Proceedings of the Fifth European Conference on Planning, p. 252-264, 1999, [Cached][Link][Update]{@logic:pse}
[manna92:tse] Z. Manna, and R. Waldinger, Fundamentals of Deductive Program Synthesis, IEEE Transactions on Software Engineering, Vol. 18, 8, p. 674-704, 1992, [Cached][Link][Update]
[pfenning03:cl] Frank Pfenning, Constructive Logic, Carnegie Mellon University, [Cached][Link][Update]{@book}
[penix98:dis] John J. Penix, Automated Component Retrieval and Adaptation Using Formal Specifications, Division of Research and Advanced Studies of the University of Cincinnati, 1998, [Cached][Link][Update]{@dissertation}
[zaremski97:specification] Amy Moormann Zaremski, and Jeannette M. Wing, Specification Matching of Software Components, ACM Transactions on Software Engineering and Methodology(TOSEM), 1997, [Cached][Link][Update]
[matskin01ssp] Mihhail Matskin, and Enn Tyugu, Structural Synthesis of Programs and Its Extensions, Computing and Informatics Journal, Vol. 20, 2001, [Cached][Link][Update]
[matskin97:pd] M. Matskin, and J. Komorowski, Partial Structural Synthesis of Programs, Fundamenta Informaticae, Vol. 31, 1997, [Cached][Link][Update]
[uustalu94:extension] Tarmo Uustalu, Extensions of Structural Synthesis of Programs, in Proc. of 6th Nordic Workshop on Programming Theory, Aarhus,Danmark, October 1994, [Cached][Link][Update]
[nordstrom90:martin] B. Nordstr\om, KI. Petersson, and J. Smith, Programming in Martin-L\of Type Theory, Oxford University Press, 1990, [Cached][Link][Update]
[abela03:landscape] C. Abela, and M. Solanki, The Landscape of Markup Languages for Web Service Composition, 2003, [Cached][Link][Update]
[Ambroszkiewicz:entish] Stanislaw Ambroszkiewicz, enTish: An Approach to Service Description and Composition, [Cached][Link][Update]
[ankolekar01:damls] Anupriya Ankolekar, and DAML-S Coalition, DAML-S: Semantic Markup For Web Serivces, in Proceedings of the International Semantic Web Workshop, 2001, [Cached][Link][Update]
[laemmermann01:specification] S. Laemmermann, and E. Tyugu, A Specification Logic for Dynamic Composition of Services, in International Workshop on Distributed Dynamic Multiservice Architectures, Phoenic, Arizona, USA, April 2001, [Cached][Link][Update]
[mcilraith02:damlbepl] Sheila McIlraith, and Dan Mandell, Comparison of DAML-S and BPEL4WS, Knowledge Systems Lab, Stanford University, September 2002, [Cached][Link][Update]
[turner03:computer] Mark Turner, David Budgen, and Pearl Brereton, Turning Software into a Service, IEEE Computer, Vol. 36, 10, October 2003, [Cached][Link][Update]{@journal}
[paolucci2003www] Massimo Paolucci, Katia Sycara, and Takahiro Kawamura, Delivering Semantic Web Services, in WWW2003, [Cached][Link][Update]
[paolucci02:wsCapabilities] Massimo Paolucci, Takahiro Kawamura, Terry R. Payne, and Katia Sycara, Semantic Matching of Web Services Capabilities, in First International Semantic Web Conference, Sardinia, Italy, June 2002, [Cached][Link][Update]
[battle03:boxes] Steve Battle, Boxes: black, white, grey and glass box views of web-services, Digital Media Systems Laboratory, HP Laboratories Bristol, 2003, [Cached][Link][Update]
[grosof03:overviewpres] Benjamin Grosof, Overview of Semantic Web Services, [Cached][Link][Update]
[heuvel:em] Willem-Jan van den Heuvel, Jian Yang, and Mike P. Papazoglou, Service Representation, Discovery, and Composition for E-Marketplaces, [Cached][Update]
[sullivan02:nonfunctional] Justin O'Sullivan, David Edmond, and Arthur Ter Hofstede, What's in a Service? Towards Accurate Description of Non-Functional Service Properties, Distributed and Parallel Databases, Vol. 12, p. 117-133, 2002, [Cached][Link][Update]{@others}
[tsalgatidou02:overview] Aphrodite Tsalgatidou, and Thomi Pilioura, An Overview of Standards and Related Technology in Web Services, Distributed and Parallel Databases, Vol. 12, p. 135-162, 2002, [Cached][Link][Update]
[bryson02:agent] Joanna J. Bryson, David Martin, Sheila A. McIlraith, and Lynn Andrea Steim, Agent-Based Composition Services in DAML-S: The Behavior-Oriented Design of an Intelligent Semantic Web, [Cached][Update]
[laemmermann02:essp] Sven Laemmermann, Runtime Service Composition via Logic-Based Program Synthesis, Department of Microelectronics and Information Technology, Royal Institute of Technology, June 2002, [Cached][Link][Update]
[misha02:ws-ssp] Mihhail Matskin, and Jinghai Rao, Value-Added Web Services Composition Using Automatic Program Synthesis, in Web Services, E-Business, and the Semantic Web, CAiSE 2002 International Workshop, WES2002, Vol. LNCS 2512, Springer Verlag, Toronto, Canada, 2002, [Cached][Link][Update]
[mcdermott02:interactions] Drew McDermott, Estimated-Regression Planning for Interactions with Web Services, in Proceedings of the 6th International Conference on AI Planning and Scheduling, AAAI Press, Toulouse, France, 2002, [Cached][Link][Update]
[mcilraith02:kr] Sheila McIlraith, and Tran Cao Son, Adapting Golog for Composition of Semantic Web Services, in Proceedings of the Eighth International Conference on Knowledge Representation and Reasoning(KR2002), Toulouse, France, April 2002, [Cached][Link][Update]
[mcilraith01:ieee] Sheila McIlraith, Tran Cao Son, and Honglei Zeng, Semantic Web Services, IEEE Intelligent Systems, Vol. 16, 2, p. 46-53, March/April 2001, [Cached][Link][Update]
[narayanan02:simulation] Srini Narayanan, and Sheila McIlraith, Simulation, Verification and Automated Composition of Web Service, in the Proceedings of the Eleventh International World Wide Web Conference, ACM, Honolulu, Hawaii, USA, May 2002, [Cached][Link][Update]
presentation available at http://www2002.org/presentations/narayanan.pdf
[peer03:aiplanning] Joachim Peer, Towards Automatic Web Service Composition using AI Planning Techniques, August 2003, [Cached][Link][Update]
[shankar02:sword] Shankar R. Ponnekanti, and Armando Fox, SWORD: A Developer Toolkit for Web Service Composition, in The Eleventh World Wide Web Conference, Honolulu, HI, USA, 2002, [Cached][Link][Update]
[rao03:icws] Jinghai Rao, Peep Kungas, and Mihhail Matskin, Application of Linear Logic to Web Service Composition, in The First International Conference on Web Services, Las Vegas, USA, June 2003, [Cached][Link][Update]
[sheshagiri03:planer] Mithun Sheshagiri, Marie desJardins, and Tim Finin, A Planner for Composing Service Described in DAML-S, in AAMAS Workshop on Web Services and Agent-Based Engineering, Melbourne, Australia, 2003, [Cached][Link][Update]
[Sirin02:semiauto] Evren Sirin, James Hendler, and Bijan Parsia, Semi-automatic Composition of Web Services using Semantic Descriptions, in Web Services: Modeling, Architecture and Infrastructure workshop in conjunction with ICEIS2003, 2002, [Cached][Link][Update]
[srivastava03:current] Biplav Srivastava, and Jana Koehler, Web Service Composition - Current Solutions and Open Problems, in Workshop on Planning for Web Services, Trento, Italy, June 2003, [Cached][Link][Update]
[wu03:shop2] Dan Wu, Evren Sirin, James Hendler, Dana Nau, and Bijan Parsia, Automatic Web Services Composition Using SHOP2, in Workshop on Planning for Web Services, Trento, Italy, June 2003, [Cached][Link][Update]
[zeng03:quality] L. Zeng, B. Benatallah, M. Dumas, J. Kalagnanam, and Q.Z. Sheng, Quality Driven Web Services Composition, in Proc. of the 12th International Conference on the World Wide Web(WWW), ACM Press, Budapest, Hungary, 2003, [Cached][Link][Update]
[bennett03:soc] K. H. Bennett, and others, A Broker Architecture for Integrating Data Using a Web Services Environment, in Service-Oriented Computing, ICSOC 2003, Vol. 2910, Springer, Trento, Italy, December 2003, [Cached][Link][Update]
[chakraborty02:reactive] Dipanjan Chakraborty, Filip Perich, Anupam Joshi, Timothy Finin, and Yelena Yesha, A Reactive Service Composition Architecture for Pervasive Computing Environments, in 7th Personal Wireless Communications Conference(PWC 2002), UMBC, Singapore, October 2002, [Cached][Link][Update]
[chakraborty01:adhoc] Dipanjan Chakraborty, Service Composition in Ad-hoc Environments, 2001, [Cached][Link][Update]
[chakraborty01:stateoftheart] Dipanjan Chakraborty, and Anupam Joshi, Dynamic Service Composition: State-of-the-Art and Research Directions, December 2001, [Cached][Link][Update]
[espinoza03:thesis] Fredrik Espinoza, Individual Service Provisioning, Dept. of Computer and Systems Sciences, Stockholm University and Royal Institute of Technology, Kista, Sweden, 2003, [Cached][Link][Update]
[bennett03:soc] I. Fikouras, and E. Freiter, Service Discovery and Orchestration for Distributed Service Repositories, in Service-Oriented Computing, ICSOC 2003, Vol. 2910, Springer, Trento, Italy, December 2003, [Cached][Link][Update]
[li03:portal] M. Li, van Santen, P., Walker, D.W., Rana, O.F., and Baker, M.A., PortalLab: a web service toolkit for building semantic grid portal, in Proceedings of 3rd IEEE/ACM International Symposium on Cluster Computing and the Grid (CCGrid 2003), May 2003, [Cached][Link][Update]
[peltz03:computer] Chris Peltz, Web services orchestration and choreography, IEEE Computer, Vol. 36, 10, October 2003, [Cached][Link][Update]{@journal}
[richards03:aamas] Debbie Richards, Sander van Splunter, Frances M. T. Brazier, and Marta Sabou, Composing Web Services using an Agent Factory, in AAMAS Workshop on Web Services and Agent-Based Engineering, 2003, [Cached][Link][Update]
[shrivastava00:provisioning] S.K. Shrivastava, L. Bellissard, D. Féliot, and others, A Workflow and Agent based Platform for Service Provisioning, in Proceedings of the 4th IEEE/OMG International Enterprise Distributed Object Computing Conference(EDOC 2000), IEEE Computer Society Press, Makuhari, Japan, September 2000, [Cached][Link][Update]
[tartanoglu03:dependability] Ferda Tartanoglu, Valerie Issarny, Alexander Romanovsky, and Nicole Levy, Dependability in the Web Services Architecture, in Architecting Dependable Systems, Vol. LNCS, 2677, Springer, Inria, France, June 2003, [Cached][Link][Update]
[yang02:caise] J. Yang, and M. P. Papazoglou, Web Component: A Substract for Web Service Reuse and Composition, in Proceedings of the 14th International Conference for Advanced Information Systems Engineering (CAiSE), Vol. LNCS 2348, Toronto, Canada, May 2002, [Cached][Link][Update]
[abela02:iadis] C. Abela, and M. Montebello, DAML enabled Agents and Workflow Components Integration, in Proceedings of the IADIS International Conference, Lisbon, Portugal, November 2002, [Cached][Link][Update]
[abela02:rsd] C. Abela, and M. Montebello, DAML enabled Web Services and Agents in the Semantic Web, in Proceedings of WS-RSD'02, Erfut, Germany, October 2002, [Cached][Link][Update]
[ankolekar02:subtypes] Anupriya Ankolekar, Frank Huch, and Katia Sycara, Condurrent Execution Semantics for DAML-S with Subtypes, in The First International Semantic Web Conference(ICWS), 2002, [Cached][Link][Update]
[mandell03:essw] Daniel J. Mandell, and Sheila A. McIlraith, A Bottom-Up Approach to Automating Web Service Discovery, Customization, and Semantic Translation, in Proceedings of the Twelfth International World Wide Web Conference, Workshop on E-Services and the Semantic Web(ESSW'03), Budapest, 2003, [Cached][Link][Update]
[mcilraith03:ieee] Sheila McIlraith, and David Martin, Bringing Semantics to Web Services, IEEE Intelligent Systems, Vol. 18, 1, p. 90-93, January/February 2003, [Cached][Link][Update]
[sheth03:ibm] Amit Sheth, Semantic Web Processes, The University of Georgia, Athens GA, July 2003, [Cached][Link][Update]
[aalst03:ieee] W.M.P. van der Aalst, Don't go with the flow: Web Services Composition Standards Exposed, IEEE Intelligent Systems, Vol. 18, 1, p. 72-76, Jan/Feb 2003, [Cached][Link][Update]
[benatallah02:patterns] B. Benatallah, M. Dumas, M-C. Fauvet, and F.A. Rabhi, Towards Patterns of Web Services Composition, not remember, [Cached][Link][Update]
[casati01:eservice] Fabio Casati, Mehmet Sayal, and Ming-Chien Shan, Developing E-Services for Composing E-Services, in Proceedings of 13th Int. Conference on Advanced Information Systems Engineering(CAiSE), Springer Verlag, Interlaken, Switzerland, June 2001, [Cached][Link][Update]
[casati00:eflow] Fabio Casati, Ski Ilnicki, and LiJie Jin, Adaptive and Dynamic Service Composition in eFlow, in Proceedings of 12th Int. Conference on Advanced Information Systems Engineering(CAiSE), Springer Verlag, Stockholm, Sweden, June 2000, [Cached][Link][Update]
[hull03:curtain] R. Hull, M. Benedikt, V. Christophides, and J. su, E-Service: A Look Behind the Curtain, in Proceedings of the 22nd ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (PODS), San Diego, USA, June 2003, [Cached][Link][Update]{@other workflow}
[medjahed03:vldb] Brahim Medjahed, Athman Bouguettaya, and Ahmed K. Elmagarmid, Composing Web Services on the Semantic Web, The VLDBJournal, Vol. 12, 4, November 2003, [Cached][Link][Update]
[meredith03:cacm] L.G. Meredith, and Steve Bjorg, Contracts and Types, Communications of the ACM, Vol. 46, 10, October 2003, [Cached][Link][Update]
[piccinelli01:dysco] Giacomo Piccinelli, and Leonid Mokrushin, Dynamic E-Service Composition in DySCo, in Proc. 21st International Conference on Distributed Computing Systems(ICDCS-21), 2001, [Cached][Link][Update]
[schuster00:epr] H. Schuster, D. Georgakopoulos, A. Cichocki, and D. Baker, Modeling and composing service-based and reference processbased multi-enterprise processes, in Proceeding of 12th Int. Conference on Advanced Information Systems Engineering (CAiSE), Springer Verlag, Stockholm, Sweden, June 2000, [Cached][Link][Update]
[tut02:patterns] Moe Thandar Tut, and David Edmond, The Use of Patterns in Service Composition, in The First Workshop of Web Services, e-Business and the Semantic Web, Toronto, Canada, 2002, [Cached][Link][Update]
[Banbara02:llp] Mutsunori Banbara, Design and Implementation of Linear Logic Programming Languages, Graduate School of Science and Technology, Kobe University, Japan, September 2002, [Cached][Link][Update]
[brauner96:ll] Torben Brauner, Introduction to Linear Logic, BRICS, December 1996, [Cached][Link][Update]
[girard89:proof] Jean-Yves Girard, Yves Lafont, and Paul Taylor, Proofs and Types, Cambridge University Press, 1989, [Cached][Link][Update]
[harland02:clima] James Harland, and Michael Winikoff, Language Design Issues for Agents based on Linear Logic, in In proceedings of the workshop on Computational Logic in Multi-Agent Systems(CLIMA02), Copenhagen, Denmark, August 2002, [Cached][Link][Update]
[hodas94:ll] J. S. Hodas, and D. Miller, Logic programming in a fragment of intuitionistic linear logic, Information and Computation, Vol. 110, 2, p. 327-365, 1994, [Cached][Link][Update]
[lincoln95:deciding] P. Lincoln, Deciding Provability of Linear Logic Formulas, Advances in Linear Logic, Vol. 222, Cambridge University Press, p. 109 - 122, 1995, [Cached][Link][Update]
[lincoln92:sigact] P. Lincoln, Linear Logic, ACM SIGACT Notices, Vol. 23, 2, p. 29 - 37, 1992, [Cached][Link][Update]
[pfenning01:ll] Frank Pfenning, Linear Logic, Carnegie Mellon University, [Cached][Link][Update]
[abadi02:proglan] Martin Abadi, Programming Language Course Page, [Cached][Link][Update]
[amen03:project] Saeed Amen, and others, Pi-Calculus Project Homepage, [Cached][Link][Update]
[lumpe99:pi] Markus Lumpe, A Pi-Calculus Based Approach for Software Composition, Institute of Computer and Applied Mathematics, University of Bern, 1999, [Cached][Link][Update]
[milner93:pi] Robin Milner, The Polyadic Pi-calculus: A tutorial, Logic and Algebra of Specification, Springer-Verlag, 1993, [Cached][Link][Update]
[turner95:pi] David N. Turner, The Polymorphic Pi-calculus: Theory and Implementation, University of Edinburgh, 1995, [Cached][Link][Update]
[nilsson:prolog] Ulf Nilsson, and Jan Maluszynski, Logic, Programming and Prolog(2ed), John Wiley & Sons Ltd, [Cached][Link][Update]