Suchergebnisse - Sangiorgi, Davide

  • Treffer 1 – 16 von 16
Treffer filtern
  1. 1
    Buchumschlag

    An introduction to bisimulation and coinduction
    von Sangiorgi, Davide

    Veröffentlicht 2012
    Online lesen
    E-Book


    Gespeichert in:
  2. 2
    Buchumschlag

    The pi-calculus: a theory of mobile processes
    von Sangiorgi, Davide

    Veröffentlicht 2001
    Inhaltsverzeichnis
    Buch


    Gespeichert in:
  3. 3
    Buchumschlag

    Expressing mobility in process algebras: first-order and higher-order paradigms
    von Sangiorgi, Davide

    Veröffentlicht 1993
    Buch


    Gespeichert in:
  4. 4
    Buchumschlag

    An introduction to bisimulation and coinduction
    von Sangiorgi, Davide

    Veröffentlicht 2012
    Elektronisch E-Book


    Gespeichert in:
  5. 5
    Buchumschlag

    Advanced topics in bisimulation and coinduction

    Veröffentlicht 2012
    Weitere beteiligte Personen: “… Sangiorgi, Davide …”
    Online lesen
    E-Book


    Gespeichert in:
  6. 6
    Buchumschlag

    The pi-calculus: a theory of mobile processes
    von Sangiorgi, Davide

    Veröffentlicht 2003
    Buch


    Gespeichert in:
  7. 7
    Buchumschlag

    On the bisimulation proof method
    von Sangiorgi, Davide

    Veröffentlicht 1994
    Buch


    Gespeichert in:
  8. 8
    Buchumschlag

    Algebraic theories for name-passing calculi
    von Parrow, Joachim, Sangiorgi, Davide

    Veröffentlicht 1993
    Buch


    Gespeichert in:
  9. 9
    Buchumschlag

    A theory of bisimulation for the pi-calculus
    von Sangiorgi, Davide

    Veröffentlicht 1993
    Buch


    Gespeichert in:
  10. 10
    Buchumschlag

    Introduction to bisimulation and coinduction
    von Sangiorgi, Davide

    Veröffentlicht 2012
    Inhaltsverzeichnis
    Buch


    Gespeichert in:
  11. 11
    Buchumschlag

    Locality and non-interleaving semantics in calculi for mobile processes
    von Sangiorgi, Davide

    Veröffentlicht 1994
    Buch


    Gespeichert in:
  12. 12
    Buchumschlag

    A fully abstract semantics for causality in the pi calculus
    von Boreale, Michele, Sangiorgi, Davide

    Veröffentlicht 1994
    Buch


    Gespeichert in:
  13. 13
    Buchumschlag

    Classes of systolic y-tree automata and a comparison with systolic trellis automata
    von Fachini, E., Maggiolo-Schettini, Andrea, Sangiorgi, Davide

    Veröffentlicht 1991
    Buch


    Gespeichert in:
  14. 14
    Buchumschlag

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

    Veröffentlicht 2016
    Weitere beteiligte Personen: “… Sangiorgi, Davide …”
    Online lesen (frei zugänglich)
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  15. 15
    Buchumschlag

    Advanced topics in bisimulation and coinduction

    Veröffentlicht 2012
    Weitere beteiligte Personen: “… Sangiorgi, Davide …”
    Elektronisch E-Book


    Gespeichert in:
  16. 16
    Buchumschlag

    Advanced topics in bisimulation and coinduction

    Veröffentlicht 2012
    Weitere beteiligte Personen: “… Sangiorgi, Davide …”
    Inhaltsverzeichnis
    Buch


    Gespeichert in:

Suchwerkzeuge: