| No. |
Title |
Author |
Year |
| 1 |
Enhanced Induction in Behavioural Relations (Invited Talk) |
Sangiorgi, Davide |
2023 |
| 2 |
CONCUR Test-Of-Time Award 2022 (Invited Paper) |
Castellani, Ilaria et al. |
2022 |
| 3 |
Games, Mobile Processes, and Functions |
Jaber, Guilhem et al. |
2022 |
| 4 |
On the Representation of References in the Pi-Calculus |
Hirschkoff, Daniel et al. |
2020 |
| 5 |
The Servers of Serverless Computing: A Formal Revisitation of Functions as a Service |
Giallorenzo, Saverio et al. |
2020 |
| 6 |
Divergence and Unique Solution of Equations |
Durier, Adrien et al. |
2017 |
| 7 |
Front Matter, Table of Contents, Preface, Organization, List of Authors |
Chatzigiannakis, Ioannis et al. |
2016 |
| 8 |
LIPIcs, Volume 55, ICALP'16, Complete Volume |
Chatzigiannakis, Ioannis et al. |
2016 |
