Structured Communication-Centred Programming for Web Services

Structured Communication-Centred Programming for Web Services

Marco Carbone, Kohei Honda and Nobuko Yoshida

Here you can find further documents related to the paper "Structured Communication-Centred Programming for Web Serices".

The latest version of the paper. In ESOP 2007

Theoretical Basis for Communication-Centred Programming.
The long version will be published as W3C CDL working note together with R. Milner, G. Brown and S. Ross-Talbot.
This includes all proofs of the results of the paper.

A Calculus of Global Interaction based on Session Types.
This was submitted to DCM (ENTCS). This informally illustrates the use of the global calculus for describing communication behaviour through examples. Note no formal typing system for the global calculus is listed. Neither the endpoint calculus or EPP theory is listed.

Last modified Sun Oct 14 20:45:04 GMT 2007