W3C home > Mailing lists > Public > public-ws-chor@w3.org > August 2006

Re: Formal semantics paper - from Marco Carbone et al

From: L.G. Meredith <lgreg.meredith@gmail.com>
Date: Wed, 2 Aug 2006 03:14:32 -0700
Message-ID: <5de3f5ca0608020314u6bb10aacm26c60d97ea3a301d@mail.gmail.com>
To: "Steve Ross-Talbot" <steve@pi4tech.com>
Cc: "WS-Choreography List" <public-ws-chor@w3.org>
Steve,

This looks like a lot of work. i may be misreading, because i have only
skimmed, but it looks as though the main theorem is a subject reduction-like
theorem in which the subject reduction is simulation-style (ala Kobayashi's
type systems) as opposed to a static subject reduction (ala Honda, et al's
type systems). Have you seen, therefore, Kobayashi's 2006 types for
concurrency paper (
http://www.kb.ecei.tohoku.ac.jp/~koba/papers/concur2006-full.pdf)?

Best wishes,

--greg

On 8/1/06, Steve Ross-Talbot <steve@pi4tech.com> wrote:
>
>
> Is at:
>
> http://lists.w3.org/Archives/Public/www-archive/2006Aug/att-0000/
> workingNote.pdf
>
> Please read and comment as soon as possible.
>
> Cheers
>
> Steve T
>
>


-- 
L.G. Meredith
Partner
Biosimilarity LLC
505 N 72nd St
Seattle, WA 98103

+1 206.650.3740
Received on Wednesday, 2 August 2006 10:14:41 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Saturday, 18 December 2010 01:01:46 GMT