usecases in pi-calculus

I'm sending this in again because it is input to the face to face 
agenda and Nobuko will be talking about it to us. The aim is to 
understand enough to be able to implement such a type system and 
understand what we may have to do to WS-CDL to make it possible to 
implement.

Cheers

Steve T

Ref: 
http://lists.w3.org/Archives/Public/public-ws-chor/2004Apr/0004.html

Received on Friday, 30 July 2004 08:34:59 UTC