Altmetric
CONCUR test-of-time award for the period 1994–97 interview with uwe nestmann and Benjamin C. Pierce
File | Description | Size | Format | |
---|---|---|---|---|
![]() | File embargoed for 12 months after publication date | 214.42 kB | Adobe PDF | Request a copy |
Title: | CONCUR test-of-time award for the period 1994–97 interview with uwe nestmann and Benjamin C. Pierce |
Authors: | Yoshida, N Barwell, A Ferreira, F |
Item 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. |
Date of Acceptance: | 1-Nov-2021 |
URI: | http://hdl.handle.net/10044/1/92854 |
ISSN: | 2352-2208 |
Publisher: | Elsevier |
Journal / Book Title: | Journal of Logical and Algebraic Methods in Programming |
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/Funder: | 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 |
Funder's 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 20248683 EP/T014709/1 EP/V000462/1 PO 20237614 |
Publication Status: | Accepted |
Embargo Date: | Embargoed for 12 months after publication date |
Appears in Collections: | Computing |
This item is licensed under a Creative Commons License