Fwd: ws and process algebra at ICSOC04

Gary/Nick/Kohei,Nobuko/Robin,

I have not had time to read it but it may well be interesting.

Cheers

Steve T


Begin forwarded message:

> From: Andrea Ferrara <ferrara@dis.uniroma1.it>
> Date: 4 October 2004 12:36:10 BST
> To: steve@enigmatec.net
> Subject: ws and process algebra at ICSOC04
>
> Hello,
>      perhaps you are interested in this paper (accepted to ICSOC'04).
> There is a mapping between BPEL and LOTOS, including  BPEL handlers 
> (faul, event, compensation), and a discussion about what is the best 
> process algebra to deal with ws.
> Best regards,
>          Andrea Ferrara
>
> -- 
> ************************************************************
> Andrea Ferrara
> Ph.D. Student in Computer Engineering
>
> Dipartimento di Informatica e Sistemistica
> Universita' di Roma "La Sapienza"
>
> Via Salaria 113 (2nd floor)
> I-00198 Roma, Italy
>
> tel.:    +39 06 4991 8342
> fax:     +39 06 85300849
> home page:     http://www.dis.uniroma1.it/~ferrara/
> e-mail:  ferrara@dis.uniroma1.it
> ************************************************************
>