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
Current Page :
Number of result pages: 1
Number of documents: 8

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI