BPEL formal semantics at SFU

["Satish Thatte" <satisht@microsoft.com>]

Dear TC Members,
 
See below for the reference to the latest report on BPEL formal semantics from Professor Glaesser's group at SFU.  This is the work I mentioned in my last mail on the subject.
 
I am sure your comments and questions will be welcomed by the group.
 
Satish
 

 
________________________________

From: Roozbeh Farahbod [mailto:rfarahbo@cs.sfu.ca]
Sent: Sat 2/28/2004 7:49 PM
To: Satish Thatte
Cc: glaesser@cs.sfu.ca; 'Mona Vajihollahi'
Subject: RE: BPEL formal semantics



Hello Satish,

The latest revision of our technical report, Draft Version 2.5, is now on
the web at:

http://www.cs.sfu.ca/~se/bpeltr/TechnicalReport.htm

Thank you in advance for posting it to the TC.

Regards,

Roozbeh