Search

Your search keyword '"Bartek Klin"' showing total 13 results
Start Over Author "Bartek Klin" Publication Year Range Last 3 years
13 results on '"Bartek Klin"'

10. LIPIcs, Volume 243, CONCUR 2022, Complete Volume

Author

Bartek Klin and Sławomir Lasota and Anca Muscholl, Klin, Bartek, Lasota, Sławomir, Muscholl, Anca, Bartek Klin and Sławomir Lasota and Anca Muscholl, Klin, Bartek, Lasota, Sławomir, and Muscholl, Anca

Abstract

LIPIcs, Volume 243, CONCUR 2022, Complete Volume

Published
2022
Full Text
View/download PDF

13. CONCUR Test-Of-Time Award 2022

Author

Castellani, Ilaria, Gastin, Paul, Kupferman, Orna, Randour, Mickael, Sangiorgi, Davide, Secure Diffuse Programming (INDES), Inria Sophia Antipolis - Méditerranée (CRISAM), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Ecole Normale Supérieure Paris-Saclay (ENS Paris Saclay), The Hebrew University of Jerusalem (HUJ), Université de Mons (UMons), Department of Computer Science and Engineering [Bologna] (DISI), Alma Mater Studiorum Università di Bologna [Bologna] (UNIBO), and Bartek Klin, Slawomir Lasota, Anca Muscholl

Subjects
Concurrency, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], [INFO]Computer Science [cs], Theory of computation
Abstract

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

Published
2022
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results