OASIcs, Volume 86, Gabbrielli's Festschrift

• Frank S. de Boer and Jacopo Mauro OASIcs, Volume 86, Gabbrielli's Festschrift, Complete Volume 10.4230/OASIcs.Gabbrielli
• Frank S. de Boer and Jacopo Mauro Front Matter, Table of Contents, Preface 10.4230/OASIcs.Gabbrielli.0
• Reiner Hähnle, Anton W. Haubner, and Eduard Kamburjan Locally Static, Globally Dynamic Session Types for Active Objects 10.4230/OASIcs.Gabbrielli.1
• Cosimo Laneve and Adele Veschetti A Formal Analysis of the Bitcoin Protocol 10.4230/OASIcs.Gabbrielli.2
• Mariangiola Dezani-Ciancaglini, Paola Giannini, and Betti Venneri Deconfined Intersection Types in Java 10.4230/OASIcs.Gabbrielli.3
• Mila Dalla Preda Towards a Unifying Framework for Tuning Analysis Precision by Program Transformation 10.4230/OASIcs.Gabbrielli.4
• Saverio Giallorenzo, Ivan Lanese, Fabrizio Montesi, Davide Sangiorgi, and Stefano Pio Zingaro The Servers of Serverless Computing: A Formal Revisitation of Functions as a Service 10.4230/OASIcs.Gabbrielli.5
• Moreno Falaschi and Giulia Palma A Logic Programming Approach to Reaction Systems 10.4230/OASIcs.Gabbrielli.6
• Roberto Amadini, Graeme Gange, Peter Schachte, Harald Søndergaard, and Peter J. Stuckey Abstract Interpretation, Symbolic Execution and Constraints 10.4230/OASIcs.Gabbrielli.7
• Simone Martini The Standard Model for Programming Languages: The Birth of a Mathematical Theory of Computation 10.4230/OASIcs.Gabbrielli.8
• Stefano Bistarelli and Carlo Taticchi A Concurrent Language for Argumentation: Preliminary Notes 10.4230/OASIcs.Gabbrielli.9
• Frank S. de Boer, Einar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa, and Lars Tveito Inseguendo Fagiani Selvatici: Partial Order Reduction for Guarded Command Languages 10.4230/OASIcs.Gabbrielli.10
• Moreno Falaschi, Catuscia Palamidessi, and Marco Romanelli Derivation of Constraints from Machine Learning Models and Applications to Security and Privacy 10.4230/OASIcs.Gabbrielli.11
• Luca Bixio, Giorgio Delzanno, Stefano Rebora, and Matteo Rulli Adaptive Real Time IoT Stream Processing in Microservices Architecture 10.4230/OASIcs.Gabbrielli.12