gefundene Verfasser Davide Sangiorgi

Sangiorgi, Davide
Rutten, J. J. M. M.
Boreale, Michele
Chatzigiannakis, Ioannis
Fachini, E.
Alle anzeigen »
ICALP Rom
Maggiolo-Schettini, Andrea
Mitzenmacher, Michael 1969-
Parrow, Joachim
Rabani, Yuval

Treffer 1 - 16 von 16 für Suche 'Davide Sangiorgi', Suchdauer: 1,05s Treffer weiter einschränken
  1. 1
    An introduction to bisimulation and coinduction

    An introduction to bisimulation and coinduction von Sangiorgi, Davide

    Veröffentlicht 2012
    Volltext
    E-Book

    Zu den Favoriten
    Gespeichert in:
  2. 2
    An introduction to bisimulation and coinduction

    An introduction to bisimulation and coinduction von Sangiorgi, Davide

    Veröffentlicht 2012
    DE-12
    DE-92
    DE-29
    URL des Erstveröffentlichers
    Elektronisch E-Book

    Zu den Favoriten
    Gespeichert in:
  3. 3
    On the bisimulation proof method

    On the bisimulation proof method von Sangiorgi, Davide

    Veröffentlicht 1994
    Buch

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Introduction to bisimulation and coinduction

    Introduction to bisimulation and coinduction von Sangiorgi, Davide

    Veröffentlicht 2012
    Inhaltsverzeichnis
    Buch

    Zu den Favoriten
    Gespeichert in:
  5. 5
    The pi-calculus a theory of mobile processes

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

    Veröffentlicht 2003
    Buch

    Zu den Favoriten
    Gespeichert in:
  6. 6
    A theory of bisimulation for the pi-calculus

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

    Veröffentlicht 1993
    Buch

    Zu den Favoriten
    Gespeichert in:
  7. 7
    The pi-calculus a theory of mobile processes

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

    Veröffentlicht 2001
    Inhaltsverzeichnis
    Buch

    Zu den Favoriten
    Gespeichert in:
  8. 8
    Locality and non-interleaving semantics in calculi for mobile processes

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

    Veröffentlicht 1994
    Buch

    Zu den Favoriten
    Gespeichert in:
  9. 9
    Expressing mobility in process algebras first-order and higher-order paradigms

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

    Veröffentlicht 1993
    Buch

    Zu den Favoriten
    Gespeichert in:
  10. 10
    A fully abstract semantics for causality in the pi calculus

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

    Veröffentlicht 1994
    Buch

    Zu den Favoriten
    Gespeichert in:
  11. 11
    Classes of systolic y-tree automata and a comparison with systolic trellis automata

    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

    Zu den Favoriten
    Gespeichert in:
  12. 12
    Algebraic theories for name-passing calculi

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

    Veröffentlicht 1993
    Buch

    Zu den Favoriten
    Gespeichert in:
  13. 13
    Advanced topics in bisimulation and coinduction

    Advanced topics in bisimulation and coinduction

    Veröffentlicht 2012
    Weitere Verfasser:
    Volltext
    E-Book

    Zu den Favoriten
    Gespeichert in:
  14. 14
    Advanced topics in bisimulation and coinduction

    Advanced topics in bisimulation and coinduction

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

    Zu den Favoriten
    Gespeichert in:
  15. 15
    Advanced topics in bisimulation and coinduction

    Advanced topics in bisimulation and coinduction

    Veröffentlicht 2012
    Weitere Verfasser: “… Sangiorgi, Davide …”
    DE-12
    DE-92
    URL des Erstveröffentlichers
    Elektronisch E-Book

    Zu den Favoriten
    Gespeichert in:
  16. 16
    43rd International Colloquium on Automata, Languages, and Programming ICALP 2016, Rome, Italy, July 12-15, 2016

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

    Veröffentlicht 2016
    Weitere Verfasser:
    Volltext
    kostenfrei
    kostenfrei
    kostenfrei
    Elektronisch Tagungsbericht E-Book

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: