MobilityReadingGroup

π-calculus, Session Types research at Imperial College

CONCUR Test-of-Time Award for the Period 1994–97 Interview with Uwe Nestmann and Benjamin C. Pierce
Adam BARWELL, Francisco FERREIRA, Nobuko YOSHIDA
Journal of Logical and Algebraic Methods in Programming. p. 100744

Last year, the CONCUR conference series inaugurated its Test-of-Time Award, the purpose of which is to recognise important achievements in Concurrency Theory that were published at the conference and have stood the test of time. This year, Decoding Choice Encodings by Uwe Nestmann and Benjamin C. Pierce was one of four papers chosen to receive the CONCUR Test-of-Time Award for the periods 1994–1997 and 1996–1999 by a jury consisting of Rob van Glabbeek (chair), Luca de Alfaro, Nathalie Bertrand, Catuscia Palamidessi, and Nobuko Yoshida. This article is devoted to the engaging and interesting interview conducted with Uwe Nestmann and Benjamin C. Pierce via video conference.

@article{BFY2021,
  author = {Adam Barwell and Francisco Ferreira and Nobuko Yoshida},
  title = {{CONCUR Test-of-Time Award for the Period 1994–97 Interview with Uwe Nestmann and Benjamin C. Pierce}},
  journal = {JLAMP},
  series = {LNCS},
  volume = {125},
  pages = {100744--},
  publisher = {Elsevier},
  year = 2021
}
@article{BFY2021,
  author = {Adam Barwell and Francisco Ferreira and Nobuko Yoshida},
  title = {{CONCUR Test-of-Time Award for the Period 1994–97 Interview with Uwe Nestmann and Benjamin C. Pierce}},
  journal = {Journal of Logical and Algebraic Methods in Programming},
  series = {LNCS},
  volume = {125},
  pages = {100744--},
  publisher = {Elsevier},
  doi = "10.1016/j.jlamp.2021.100744",
  year = 2021
}