MobilityReadingGroup

π-calculus, Session Types research at Imperial College

Pabble

Parameterised Scribble

Pabble is a parametric extension of Scribble primarily designed for describing communication protocols in parallel computing.

Link Sources Sources

Related publications

Nicholas Ng, Nobuko Yoshida: Protocol-Driven MPI Program Generation. Behavioural Types: from Theory to Tools : 329 - 352.
Nicholas Ng, Nobuko Yoshida: Pabble: parameterised Scribble. SOCA : 269 - 284.
Nicholas Ng, Jose G.F. Coutinho, Nobuko Yoshida: Protocols by Default: Safe MPI Code Generation based on Session Types. CC 2015 : 212 - 232.
Nicholas Ng, Nobuko Yoshida: Pabble: Parameterised Scribble for Parallel Programming. PDP 2014 : 707 - 714.