CONCUR Test-Of-Time Award 2022 - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2022

CONCUR Test-Of-Time Award 2022

Ilaria Castellani
  • Fonction : Auteur
Secure Diffuse Programming
Paul Gastin
  • Fonction : Auteur
  • PersonId : 838132
Ecole Normale Supérieure Paris-Saclay
Orna Kupferman
  • Fonction : Auteur
  • PersonId : 1024600
The Hebrew University of Jerusalem
Mickael Randour
  • Fonction : Auteur
Université de Mons
Davide Sangiorgi
  • Fonction : Auteur
  • PersonId : 830585
Department of Computer Science and Engineering [Bologna]

Résumé

This short article recaps the purpose of the CONCUR Test-of-Time Award and presents the four papers that received the Award in 2022.

Domaines

Informatique [cs] Logique en informatique [cs.LO]
Fichier principal
Vignette du fichier
LIPIcs-CONCUR-2022-ToT.pdf (422.08 Ko) Télécharger le fichier
Origine : Fichiers éditeurs autorisés sur une archive ouverte
Licence : CC BY - Paternité

Ilaria Castellani  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/hal-03970965

Soumis le : vendredi 3 février 2023-00:55:15

Dernière modification le : jeudi 14 décembre 2023-13:56:06

Archivage à long terme le : jeudi 4 mai 2023-18:31:22

Télécharger pour visualiser

Dates et versions

hal-03970965 , version 1 (03-02-2023)

Licence

Paternité

Identifiants

Citer

Ilaria Castellani, Paul Gastin, Orna Kupferman, Mickael Randour, Davide Sangiorgi. CONCUR Test-Of-Time Award 2022. 33rd International Conference on Concurrency Theory (CONCUR 2022), Bartek Klin, Slawomir Lasota, Anca Muscholl, Sep 2022, Warsaw (Poland), Poland. pp.1:1-1:3, ⟨10.4230/LIPIcs.CONCUR.2022.1⟩. ⟨hal-03970965⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

INRIA ENS-CACHAN INRIA2 UNIV-COTEDAZUR ENS-PARIS-SACLAY
14 Consultations
12 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More