CONCUR test-of-time award for the period 1994–97 interview with uwe nestmann and Benjamin C. Pierce
File(s)interview-JLAMP.pdf (214.42 KB)
Accepted version
Author(s)
Yoshida, Nobuko
Barwell, Adam
Ferreira, Francisco
Type
Journal Article
Abstract
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.
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.
Date Issued
2022-02
Date Acceptance
2021-11-28
Citation
Journal of Logical and Algebraic Methods in Programming, 2022, 125, pp.1-8
ISSN
2352-2208
Publisher
Elsevier
Start Page
1
End Page
8
Journal / Book Title
Journal of Logical and Algebraic Methods in Programming
Volume
125
Copyright Statement
© Elsevier Ltd. All rights reserved. This manuscript is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International Licence http://creativecommons.org/licenses/by-nc-nd/4.0/
Sponsor
The National Cyber Security Centre (NCSC)
Engineering & Physical Science Research Council (EPSRC)
Engineering & Physical Science Research Council (EPSRC)
Engineering & Physical Science Research Council (E
Engineering & Physical Science Research Council (E
Engineering and Physical Sciences Research Council
Engineering & Physical Science Research Council (EPSRC)
Engineering & Physical Science Research Council (E
Engineering & Physical Science Research Council (EPSRC)
Engineering and Physical Sciences Research Council
Engineering & Physical Science Research Council (E
Identifier
https://www.sciencedirect.com/science/article/pii/S2352220821001073
Grant Number
4214176 / RFA 20601
EP/T006544/1
EP/K011715/1
ERI 025567 (EP/K034413/1)
PO 20131167
EP/L00058X/1, PO 20131167
EP/N027833/1
PO 20287680
EP/T014709/1
EP/V000462/1
PO 20293625
Subjects
Science & Technology
Technology
Computer Science, Theory & Methods
Logic
Computer Science
Science & Technology - Other Topics
Pi-calculus
Encodings
Lambda-calculus
Distributed systems
Concurrent systems
Interview
INPUT-OUTPUT CONSTRUCT
CALCULUS
Publication Status
Published
Date Publish Online
2021-12-23