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

Formal Semantics for DAML-S

From: Monika Solanki <monika@dmu.ac.uk>
Date: Fri, 31 May 2002 14:13:14 +0100
Message-ID: <3CF776EA.2020403@dmu.ac.uk>
To: www-ws <www-ws@w3.org>
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 <mailto:monika@dmu.ac.uk>
web: http://www.cse.dmu.ac.uk/~monika/ 
<http://www.cse.dmu.ac.uk/%7Emonika/>
 >**<>**<>**<>**<>**<>**<>**<>**<>**<>**<
Received on Friday, 31 May 2002 09:12:41 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 3 July 2007 12:25:40 GMT