Treffer 1 - 20 von 332 für Suche 'SANGIORGI, Davide', Suchdauer: 1,03s Treffer weiter einschränken
  1. 1
    On the Origins of Bisimulation and Coinduction

    On the Origins of Bisimulation and Coinduction von SANGIORGI, Davide


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  2. 2
    CONCUR'98 Concurrency Theory: 9th International Conference Nice, France, September 8–11, 1998 Proceedings

    CONCUR'98 Concurrency Theory: 9th International Conference Nice, France, September 8–11, 1998 Proceedings von Sangiorgi, Davide, Simone, Robert de


    Volltext
    Buch

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Environmental Bisimulations for Higher-Order Languages

    Environmental Bisimulations for Higher-Order Languages von SANGIORGI, Davide, KOBAYASHI, Naoki, SUMII, Eijiro


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Trees from Functions as Processes

    Trees from Functions as Processes von Davide Sangiorgi, Xian Xu


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Modular coinduction up-to for higher-order languages via first-order transition systems

    Modular coinduction up-to for higher-order languages via first-order transition systems von Madiot, Jean-Marie, Pous, Damien, Sangiorgi, Davide


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  6. 6
    A Hybrid Type System for Lock-Freedom of Mobile Processes

    A Hybrid Type System for Lock-Freedom of Mobile Processes von KOBAYASHI, Naoki, SANGIORGI, Davide


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  7. 7
    Unique Solutions of Contractions, CCS, and their HOL Formalisation

    Unique Solutions of Contractions, CCS, and their HOL Formalisation von Tian, Chun, Sangiorgi, Davide


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  8. 8
    Divergence and unique solution of equations

    Divergence and unique solution of equations von Durier, Adrien, Hirschkoff, Daniel, Sangiorgi, Davide


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  9. 9
    From enhanced coinduction towards enhanced induction

    From enhanced coinduction towards enhanced induction von Sangiorgi, Davide


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  10. 10
    Equations, Contractions, and Unique Solutions

    Equations, Contractions, and Unique Solutions von Sangiorgi, Davide


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  11. 11
    Unique solutions of contractions, CCS, and their HOL formalisation

    Unique solutions of contractions, CCS, and their HOL formalisation von Tian, Chun, Sangiorgi, Davide

    Veröffentlicht in Information and computation

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  12. 12
    Session types revisited

    Session types revisited von Dardha, Ornela, Giachino, Elena, Sangiorgi, Davide

    Veröffentlicht in Information and computation

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  13. 13
    Bisimulation and Coinduction Enhancements: A Historical Perspective

    Bisimulation and Coinduction Enhancements: A Historical Perspective von Pous, Damien, Sangiorgi, Davide

    Veröffentlicht in Formal aspects of computing

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  14. 14
    Environmental Bisimulations for Probabilistic Higher-order Languages

    Environmental Bisimulations for Probabilistic Higher-order Languages von Sangiorgi, Davide, Vignudelli, Valeria


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  15. 15
    Eager functions as processes

    Eager functions as processes von Durier, Adrien, Hirschkoff, Daniel, Sangiorgi, Davide

    Veröffentlicht in Theoretical computer science

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  16. 16
    Mobile safe ambients

    Mobile safe ambients von Levi, Francesca, Sangiorgi, Davide


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  17. 17
    An operational semantics for a calculus for wireless systems

    An operational semantics for a calculus for wireless systems von Lanese, Ivan, Sangiorgi, Davide

    Veröffentlicht in Theoretical computer science

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  18. 18
    Towards ‘up to context’ reasoning about higher-order processes

    Towards ‘up to context’ reasoning about higher-order processes von Durier, Adrien, Hirschkoff, Daniel, Sangiorgi, Davide

    Veröffentlicht in Theoretical computer science

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  19. 19
    Playing with Bisimulation in Erlang

    Playing with Bisimulation in Erlang von Lanese, Ivan, Sangiorgi, Davide, Zavattaro, Gianluigi


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  20. 20
    Behavioral equivalence in the polymorphic pi-calculus

    Behavioral equivalence in the polymorphic pi-calculus von Pierce, Benjamin C, Sangiorgi, Davide

    Veröffentlicht in Journal of the ACM

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: