Re: CLARITY ON LINEAR TYPES IN WS-CDL (aka Proposal for issue 1003) from Kohei Honda on 2005-05-09 (public-ws-chor@w3.org from May 2005)

From: Kohei Honda <kohei_honda@ntlworld.com>
Date: Tue, 10 May 2005 00:07:32 +0100
To: "Steve Ross-Talbot" <steve@pi4tech.com>, "'WS-Choreography List'" <public-ws-chor@w3.org>
Cc: "Nobuko Yoshida" <yoshida@doc.ic.ac.uk>, "Marco Carbone" <carbonem@dcs.qmul.ac.uk>, <kohei@dcs.qmul.ac.uk>
Message-ID: <001b01c554eb$e234dc50$a44cff3e@cfs.le.ac.uk>

Addendum: the conformance to "distinct" is assumed to be done 
by a static checking technique, just like for the other two linearity 
modes. Somehow I failed to note this.

kohei

Received on Monday, 9 May 2005 22:54:47 UTC