A Theoretical Basis of Communication-Centred Programming for Web Services
in First International Summer School on Emerging Trends in Concurrency TiC'06

Slides

Part I [pdf-file]
Part II [pdf-file]

Session Types

Language Primitives and Type Discipline for Structured Communication-Based Programming
Kohei Honda, Vasco T. Vasconcelos and Makoto Kubo,
In ESOP'98, volume 1381 of LNCS, pages 122-138. Springer-Verlag, 1998.
[pdf-file]

Language Primitives and Type Discipline for Structured Communication-Based Programming Revisited - Two Systems for Higher-Order Session Communication
Vasco T. Vasconcelos and Nobuko Yoshida,
Technical Report DI/FCUL TR-06-9
To appear in Proc SecReT 2006, Electronic Notes in Theoretical Computer Science, 2006.
[pdf-file]

Session Types for Object-Oriented Languages
Mariangiola Dezani-Ciancaglini, Dimitris Mostrous, Nobuko Yoshida, and Sophia Drossopoulou
he 20th European Conference on Object-Oriented Programming (ECOOP 2006), LNCS, Springer, July 2006.
[ps-file]

Web Services

Structured Global Programming for Communication Behaviour
Marco Carbone, Kohei Honda and Nobuko Yoshida
[pdf-file]

Examples
Marco Carbone, Kohei Honda and Nobuko Yoshida
[pdf-file]

A Theoretical Basis of Communication-Centred Concurrent Programming
Marco Carbone, Kohei Honda and Nobuko Yoshida
[pdf-file]

Web Services Choreography Description Language

ACM Queue Magazine pages 14 -- 23, Vol 4, No 2, March 2006.

Pi4 Technologies