W3C home > Mailing lists > Public > www-ws@w3.org > May 2002

RE: Formal Semantics for DAML-S

From: Terry R. Payne <terryp@cs.cmu.edu>
Date: Fri, 31 May 2002 10:12:20 -0400
To: Monika Solanki <monika@dmu.ac.uk>, www-ws <www-ws@w3.org>
Cc: Anupriya Ankolekar <anupriya@cs.cmu.edu>
    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:


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

  Any help appreciated.



  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/
Received on Friday, 31 May 2002 10:13:31 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 20:37:07 UTC