A draft paper on theories for CDL. from kohei@dcs.qmul.ac.uk on 2005-11-24 (public-ws-chor@w3.org from November 2005)

From: <kohei@dcs.qmul.ac.uk>
Date: Thu, 24 Nov 2005 18:08:00 -0000 (GMT)
To: public-ws-chor@w3.org
Cc: carbonem@dcs.qmul.ac.uk, yoshida@doc.ic.ac.uk, kohei@dcs.qmul.ac.uk
Message-ID: <35616.138.37.88.165.1132855680.squirrel@webmail.dcs.qmul.ac.uk>

Dear WG members,

As invited experts, we have been exploring formal foundations of CDL.
Attached is a draft version of our work treating usecases from Primer
as well as other examples. We hope you will enjoy reading it. We are
looking forward to presenting the work in the next F2F meeting and
getting your feedback.

Your comments on the draft are warmly welcome.

Best wishes,

Marco Carbone
Kohei Honda
Nobuko Yoshida

Attachments

application/pdf attachment: part1_Nov24.pdf

Received on Thursday, 24 November 2005 18:08:30 UTC