| No. | Title | Author | Year |
|---|---|---|---|
| 1 | On the Representation of References in the Pi-Calculus | Hirschkoff, Daniel et al. | 2020 |
| 2 | The Servers of Serverless Computing: A Formal Revisitation of Functions as a Service | Giallorenzo, Saverio et al. | 2020 |
| 3 | Divergence and Unique Solution of Equations | Durier, Adrien et al. | 2017 |
| 4 | Front Matter, Table of Contents, Preface, Organization, List of Authors | Chatzigiannakis, Ioannis et al. | 2016 |
| 5 | LIPIcs, Volume 55, ICALP'16, Complete Volume | Chatzigiannakis, Ioannis et al. | 2016 |
| Current Page : | |
| Number of result pages: | 1 |
| Number of documents: | 5 |