Suchergebnisse - Hennessy, Matthew

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

    A distributed pi-calculus
    von Hennessy, Matthew

    Veröffentlicht 2007
    Online lesen
    E-Book


    Gespeichert in:
  2. 2
    Buchumschlag

    Proving systolic systems correct
    von Hennessy, Matthew C.

    Veröffentlicht 1984
    Buch


    Gespeichert in:
  3. 3
    Buchumschlag

    Algebraic laws for nondeterminism and concurrency
    von Hennessy, Matthew, Milner, ŏbin

    Veröffentlicht 1983
    Buch


    Gespeichert in:
  4. 4
    Buchumschlag

    Modelling finite delay operators
    von Hennessy, Matthew C.

    Veröffentlicht 1983
    Buch


    Gespeichert in:
  5. 5
    Buchumschlag

    On observing nondeterminism and concurrency
    von Hennessy, Matthew, Milner, Robin 1934-2010

    Veröffentlicht 1980
    Buch


    Gespeichert in:
  6. 6
    Buchumschlag

    An algebraic theory of fair asynchronous communicating processes
    von Hennessy, Matthew C.

    Veröffentlicht 1984
    Buch


    Gespeichert in:
  7. 7
    Buchumschlag

    The semantics of programming languages: an elementary introduction using structural operational semantics
    von Hennessy, Matthew

    Veröffentlicht 1990
    Buch


    Gespeichert in:
  8. 8
    Buchumschlag

    Algebraic theory of processes
    von Hennessy, Matthew

    Veröffentlicht 1988
    Buch


    Gespeichert in:
  9. 9
    Buchumschlag

    The power of the future perfect in program logics
    von Hennessy, Matthew C., Stirling, Colin

    Veröffentlicht 1983
    Buch


    Gespeichert in:
  10. 10
    Buchumschlag

    A term model for synchronous processes
    von Hennessy, Matthew

    Veröffentlicht 1981
    Buch


    Gespeichert in:
  11. 11
    Buchumschlag

    A distributed pi-calculus
    von Hennessy, Matthew

    Veröffentlicht 2007

    Online lesen (BSB)
    Benutzerausweis der Bayerischen Staatsbibliothek (BSB) nötig.
    Elektronisch E-Book


    Gespeichert in:
  12. 12
    Buchumschlag

    A distributed pi-calculus
    von Hennessy, Matthew

    Veröffentlicht 2007
    Buch


    Gespeichert in:

Suchwerkzeuge: