Interviews with the 2021 CONCUR Test-of-Time Award recipients
Last year, the CONCUR conference series inaugurated its Test-of-Time Award, purpose of which is to recognise important achievements in Con- currency Theory that were published at the CONCUR conference and that have stood the test of time. This year, the following four papers were chosen to receive t...
| Main Authors: | , , |
|---|---|
| Format: | Journal article |
| Language: | English |
| Published: |
European Association for Theoretical Computer Science
2021
|
| _version_ | 1797112136204288000 |
|---|---|
| author | Aceto, L Bertrand, N Yoshida, N |
| author_facet | Aceto, L Bertrand, N Yoshida, N |
| author_sort | Aceto, L |
| collection | OXFORD |
| description | Last year, the CONCUR conference series inaugurated its Test-of-Time Award, purpose of which is to recognise important achievements in Con- currency Theory that were published at the CONCUR conference and that have stood the test of time. This year, the following four papers were chosen to receive the CONCUR Test-of-Time Awards 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:
<br>
- David Janin and Igor Walukiewicz. On the Expressive Completeness of the Propositional mu-Calculus with respect to Monadic Second Or- der Logic [3].
<br>
- Uwe Nestmann and Benjamin C. Pierce. Decoding Choice Encod- ings [4].
<br>
- Ahmed Bouajjani, Javier Esparza, and the late Oded Maler. Reacha- bility Analysis of Pushdown Automata: Application to Model- checking [2].
<br>
- Rajeev Alur, Thomas A. Henzinger, Orna Kupferman, and Moshe Y. Vardi. Alternating Refinement Relations [1].
<br>
This year, the second paper was live-interviewed by Nobuko Yoshida; the third paper was interviewed by Nathalie Bertrand and the forth paper was interviewed by Luca Aceto. Adam Barwell and Francisco Ferreira helped making the article from the live interview by Yoshida. |
| first_indexed | 2024-03-07T08:19:57Z |
| format | Journal article |
| id | oxford-uuid:47acd841-a199-4d51-a746-bc3a84894360 |
| institution | University of Oxford |
| language | English |
| last_indexed | 2024-03-07T08:19:57Z |
| publishDate | 2021 |
| publisher | European Association for Theoretical Computer Science |
| record_format | dspace |
| spelling | oxford-uuid:47acd841-a199-4d51-a746-bc3a848943602024-01-24T12:03:21ZInterviews with the 2021 CONCUR Test-of-Time Award recipientsJournal articlehttp://purl.org/coar/resource_type/c_dcae04bcuuid:47acd841-a199-4d51-a746-bc3a84894360EnglishSymplectic ElementsEuropean Association for Theoretical Computer Science2021Aceto, LBertrand, NYoshida, NLast year, the CONCUR conference series inaugurated its Test-of-Time Award, purpose of which is to recognise important achievements in Con- currency Theory that were published at the CONCUR conference and that have stood the test of time. This year, the following four papers were chosen to receive the CONCUR Test-of-Time Awards 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: <br> - David Janin and Igor Walukiewicz. On the Expressive Completeness of the Propositional mu-Calculus with respect to Monadic Second Or- der Logic [3]. <br> - Uwe Nestmann and Benjamin C. Pierce. Decoding Choice Encod- ings [4]. <br> - Ahmed Bouajjani, Javier Esparza, and the late Oded Maler. Reacha- bility Analysis of Pushdown Automata: Application to Model- checking [2]. <br> - Rajeev Alur, Thomas A. Henzinger, Orna Kupferman, and Moshe Y. Vardi. Alternating Refinement Relations [1]. <br> This year, the second paper was live-interviewed by Nobuko Yoshida; the third paper was interviewed by Nathalie Bertrand and the forth paper was interviewed by Luca Aceto. Adam Barwell and Francisco Ferreira helped making the article from the live interview by Yoshida. |
| spellingShingle | Aceto, L Bertrand, N Yoshida, N Interviews with the 2021 CONCUR Test-of-Time Award recipients |
| title | Interviews with the 2021 CONCUR Test-of-Time Award recipients |
| title_full | Interviews with the 2021 CONCUR Test-of-Time Award recipients |
| title_fullStr | Interviews with the 2021 CONCUR Test-of-Time Award recipients |
| title_full_unstemmed | Interviews with the 2021 CONCUR Test-of-Time Award recipients |
| title_short | Interviews with the 2021 CONCUR Test-of-Time Award recipients |
| title_sort | interviews with the 2021 concur test of time award recipients |
| work_keys_str_mv | AT acetol interviewswiththe2021concurtestoftimeawardrecipients AT bertrandn interviewswiththe2021concurtestoftimeawardrecipients AT yoshidan interviewswiththe2021concurtestoftimeawardrecipients |