RE: Formal Semantics for DAML-S

Monkia,
    We have two papers that discuss the Concurrent Semantics of DAML-S which
you could take a look at:

Anupriya Ankolekar, Frank Huch, Katia Sycara. Concurrent Execution Semantics
for DAML-S with Subtypes. To Appear In The First International Semantic Web
Conference (ISWC), 2002

Anupriya Ankolenkar, Frank Hutch and Katia Sycara. Concurrent Semantics for
the Web Services Specification Language DAML-S. Proceedings of the
Coordination 2002 conference, (The Fifth International conference on
Coordination Models and Languages), York, UK, April 8-11, 2002.

They are available (well, one is right now, the other will be there shortly)
at the following URLs:

     http://www.daml.ri.cmu.edu/site/publications.html
     http://www.daml.org/services/

Regards,
    Terry
_____________________________________________________________________
Terry R. Payne, PhD.    | http://www.cs.cmu.edu/~terryp/index.html
CMU, Robotics Institute | Voice: (412) 268-8780 Fax: (412) 268-5569
Pittsburgh, PA 15213    | Email: terry@acm.org or Terry.Payne@cmu.edu


  -----Original Message-----
  From: www-ws-request@w3.org [mailto:www-ws-request@w3.org]On Behalf Of
Monika Solanki
  Sent: Friday, May 31, 2002 9:13 AM
  To: www-ws
  Subject: Formal Semantics for DAML-S


  Hi all!!!!!

  I am interested in papers related to formal semantics of the DAML-S
language.  Are  there any such documents
   available?

  Any help appreciated.

  Regards,

  Monika

  --
  >**<>**<>**<>**<>**<>**<>**<>**<>**<>**<
  Monika Solanki
  De Montfort University
  Software Technology Research Laboratory
  Hawthorn building, H00.18
  The Gateway.
  Leicester LE1 9BH, UK

  phone: +44 (0)116 250 6170 intern: 6170
  email: monika@dmu.ac.uk
  web: http://www.cse.dmu.ac.uk/~monika/
  >**<>**<>**<>**<>**<>**<>**<>**<>**<>**<