A programming model for BSP with partitioned synchronisation Alan Stewart Original Article Open access 17 September 2010 Pages: 421 - 432
An abstract model of service discovery and binding José Luiz FiadeiroAntónia LopesLaura Bocchi Original Article 27 October 2010 Pages: 433 - 463
From control law diagrams to Ada via Circus Ana CavalcantiPhil ClaytonColin O’Halloran Original Article 11 January 2011 Pages: 465 - 512
Information gain of black-box testing Linmin YangZhe DangThomas R. Fischer Original Article 15 March 2011 Pages: 513 - 539
CaPiTo: protocol stacks for services Han GaoFlemming NielsonHanne Riis Nielson Original Article 01 April 2011 Pages: 541 - 565
Thread algebra for poly-threading J. A. BergstraC. A. Middelburg OriginalPaper Open access 21 April 2011 Pages: 567 - 583