Treffer 1 – 7 von 7 für Suche 'Parrow, Joachim', Suchdauer: 0,04s Treffer filtern
Es werden neben Medien der THWS auch Medien von anderen bayerischen Bibliotheken angezeigt.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
  1. 1
    Fairness properties in process algebra with applications in communication protocol verification

    Fairness properties in process algebra with applications in communication protocol verification von Parrow, Joachim

    Veröffentlicht 1985
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Algebraic theories for name-passing calculi

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

    Veröffentlicht 1993
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    The concurrency workbench a semantics based tool for the verification of concurrent systems

    The concurrency workbench a semantics based tool for the verification of concurrent systems von Cleaveland, Rance, Parrow, Joachim, Steffen, Bernhard

    Veröffentlicht 1991
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    A calculus of mobile processes

    A calculus of mobile processes von Milner, Robin 1934-2010, Parrow, Joachim, Walker, David

    Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    A calculus of mobile processes

    A calculus of mobile processes von Milner, Robin 1934-2010, Parrow, Joachim, Walker, David

    Veröffentlicht 1989
    Buch Fernleihe Bestellen


    Gespeichert in:
  6. 6
    A calculus of mobile processes

    A calculus of mobile processes von Milner, Robin 1934-2010, Parrow, Joachim, Walker, David

    Veröffentlicht 1989
    Buch Fernleihe Bestellen


    Gespeichert in:
  7. 7
    Fairness properties in process algebra with applications in communication protocol verification

    Fairness properties in process algebra with applications in communication protocol verification von Parrow, Joachim

    Veröffentlicht 1985
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: