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 |