Suchergebnisse - Parrow, Joachim

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

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

    Veröffentlicht 1985
    Buch


    Gespeichert in:
  2. 2
    Buchumschlag

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

    Veröffentlicht 1985
    Buch


    Gespeichert in:
  3. 3
    Buchumschlag

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

    Veröffentlicht 1993
    Buch


    Gespeichert in:
  4. 4
    Buchumschlag

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

    Veröffentlicht 1991
    Buch


    Gespeichert in:
  5. 5
    Buchumschlag

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

    Buch


    Gespeichert in:
  6. 6
    Buchumschlag

    A calculus of mobile processes
    Band 1. 1989. - 39 S.
    von Milner, Robin 1934-2010, Parrow, Joachim, Walker, David

    Veröffentlicht 1989
    Buch


    Gespeichert in:
  7. 7
    Buchumschlag

    A calculus of mobile processes
    Band 2. 1989. - 53 S.
    von Milner, Robin 1934-2010, Parrow, Joachim, Walker, David

    Veröffentlicht 1989
    Buch


    Gespeichert in:

Suchwerkzeuge: