Parameterised Multiparty Session Types

Short Version [pdf-file]
FoSSaCs 2010, LNCS, 2010.

Full Version [pdf-file]

The full version includes the full definitions, more reasoning for the examples, and proofs. This version also includes more explanations for the FFT.

Other Related Links

Programs and Benchmarks for Section 4 [Link]

Parallel Algorithms in SJ with Multiparty Communication Topologies More implementations of algorithms with various topologies [Home Page]

SJ (Java with Session Types) [Home Page]

Web Services Choreography Requirements (No. 11) [Link]

SJ Implementations of Web Services Choreography Usecases [Link]
Due to the expire date of the student account, this link was broken but now it is fixed.