Zum Inhalt springen

  6. Sangiorgi, Davide [VerfasserIn] ; Simone, Robert de [Sonstige Person, Familie und Körperschaft]

    CONCUR '98 Concurrency Theory : 9th International Conference, Nice, France, September 8-11, 1998, Proceedings

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 1998

    Erschienen in: Lecture notes in computer science ; 1466

  7. Diaz, Josep [VerfasserIn] ; Lanese, Ivan [HerausgeberIn]; Sangiorgi, Davide [HerausgeberIn]

    Theoretical Computer Science : 8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014. Proceedings

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer, 2014

    Erschienen in: Lecture notes in computer science ; 8705

  8. Jaber, Guilhem [VerfasserIn]; Sangiorgi, Davide [VerfasserIn] ; Guilhem Jaber and Davide Sangiorgi [MitwirkendeR]

    Games, Mobile Processes, and Functions

    Aufsätze
    Online ansehen
    Schließen

    Zugang

    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2022

  9. De Nicola, Rocco [Sonstige Person, Familie und Körperschaft]; Sangiorgi, Davide [Sonstige Person, Familie und Körperschaft]

    Trustworthy Global Computing : International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005. Revised Selected Papers

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2005

    Erschienen in: Lecture notes in computer science ; 3705

  10. Hirschkoff, Daniel [VerfasserIn]; Prebet, Enguerrand [VerfasserIn]; Sangiorgi, Davide [VerfasserIn] ; Daniel Hirschkoff and Enguerrand Prebet and Davide Sangiorgi [MitwirkendeR]

    On the Representation of References in the Pi-Calculus

    Aufsätze
    Online ansehen
    Schließen

    Zugang

    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2020

  11. Durier, Adrien [VerfasserIn]; Hirschkoff, Daniel [VerfasserIn]; Sangiorgi, Davide [VerfasserIn] ; Adrien Durier and Daniel Hirschkoff and Davide Sangiorgi [MitwirkendeR]

    Divergence and Unique Solution of Equations

    Aufsätze
    Online ansehen
    Schließen

    Zugang

    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2017

  12. Elsborg, Ebbe [VerfasserIn]; Hildebrandt, Thomas T. [VerfasserIn]; Sangiorgi, Davide [VerfasserIn]

    Type systems for bigraphs

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Copenhagen, Denmark: IT University of Copenhagen, October 2008

    Erschienen in: IT University technical report series ; 110

  13. Durier, Adrien [VerfasserIn] ; Lyon [MitwirkendeR]; Università degli studi (Bologne, Italie) [MitwirkendeR]; Hirschkoff, Daniel [MitwirkendeR]; Sangiorgi, Davide [MitwirkendeR]

    Unique solution techniques for processes and functions ; Techniques d'unicité des solutions pour processus concurrents et fonctions

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2020-06-11

  14. Chatzigiannakis, Ioannis [HerausgeberIn]; Mitzenmacher, Michael [HerausgeberIn]; Rabani, Yuval [HerausgeberIn]; Sangiorgi, Davide [HerausgeberIn] ; ICALP 43. 2016 Rom

    43rd International Colloquium on Automata, Languages, and Programming : ICALP 2016, Rome, Italy, July 12-15, 2016

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Saarbrücken/Wadern, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing, August, 2016

    Erschienen in: Leibniz international proceedings in informatics ; 55

  15. Castellani, Ilaria [VerfasserIn]; Gastin, Paul [VerfasserIn]; Kupferman, Orna [VerfasserIn]; Randour, Mickael [VerfasserIn]; Sangiorgi, Davide [VerfasserIn] ; Ilaria Castellani and Paul Gastin and Orna Kupferman and Mickael Randour and Davide Sangiorgi [MitwirkendeR]

    CONCUR Test-Of-Time Award 2022 (Invited Paper)

    Aufsätze
    Online ansehen
    Schließen

    Zugang

    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2022

  16. Chatzigiannakis, Ioannis [VerfasserIn]; Mitzenmacher, Michael [VerfasserIn]; Rabani, Yuval [VerfasserIn]; Sangiorgi, Davide [VerfasserIn] ; Ioannis Chatzigiannakis and Michael Mitzenmacher and Yuval Rabani and Davide Sangiorgi [MitwirkendeR]

    Front Matter, Table of Contents, Preface, Organization, List of Authors

    Aufsätze
    Online ansehen
    Schließen

    Zugang

    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2016

  17. Chatzigiannakis, Ioannis [VerfasserIn]; Mitzenmacher, Michael [VerfasserIn]; Rabani, Yuval [VerfasserIn]; Sangiorgi, Davide [VerfasserIn] ; Ioannis Chatzigiannakis and Michael Mitzenmacher and Yuval Rabani and Davide Sangiorgi [MitwirkendeR]

    LIPIcs, Volume 55, ICALP'16, Complete Volume

    Aufsätze
    Online ansehen
    Schließen

    Zugang

    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2016

  18. Prebet, Enguerrand [VerfasserIn] ; Lyon, École normale supérieure [MitwirkendeR]; Università degli studi (Bologne, Italie) [MitwirkendeR]; Hirschkoff, Daniel [MitwirkendeR]; Sangiorgi, Davide [MitwirkendeR]

    Typed Behavioural Equivalences in the Pi-Calculus ; Équivalences comportementales typées dans le pi-calcul

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2022-09-27

  19. Giallorenzo, Saverio [VerfasserIn]; Lanese, Ivan [VerfasserIn]; Montesi, Fabrizio [VerfasserIn]; Sangiorgi, Davide [VerfasserIn]; Zingaro, Stefano Pio [VerfasserIn] ; Saverio Giallorenzo and Ivan Lanese and Fabrizio Montesi and Davide Sangiorgi and Stefano Pio Zingaro [MitwirkendeR]

    The Servers of Serverless Computing: A Formal Revisitation of Functions as a Service

    Aufsätze
    Online ansehen
    Schließen

    Zugang

    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2020

  20. Madiot, Jean-Marie [VerfasserIn] ; Lyon, École normale supérieure [MitwirkendeR]; Università degli studi (Bologne, Italie) [MitwirkendeR]; Hirschkoff, Daniel [MitwirkendeR]; Sangiorgi, Davide [MitwirkendeR]

    Higher-order languages : dualities and bisimulation enhancements ; Langages d'ordre supérieur : dualités et techniques de bisimulation

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2015-03-31