Treffer 1 – 11 von 11 für Suche 'Hennessy, Matthew', Suchdauer: 0,06s 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
    Proving systolic systems correct

    Proving systolic systems correct von Hennessy, Matthew C.

    Veröffentlicht 1984
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Algebraic laws for nondeterminism and concurrency

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

    Veröffentlicht 1983
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Modelling finite delay operators

    Modelling finite delay operators von Hennessy, Matthew C.

    Veröffentlicht 1983
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    On observing nondeterminism and concurrency

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

    Veröffentlicht 1980
    Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    A distributed pi-calculus

    A distributed pi-calculus von Hennessy, Matthew

    Veröffentlicht 2007
    Buch Fernleihe Bestellen


    Gespeichert in:
  6. 6
    An algebraic theory of fair asynchronous communicating processes

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

    Veröffentlicht 1984
    Buch Fernleihe Bestellen


    Gespeichert in:
  7. 7
    A distributed pi-calculus

    A distributed pi-calculus von Hennessy, Matthew

    Veröffentlicht 2007
    Volltext öffnen
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:
  8. 8
    The semantics of programming languages an elementary introduction using structural operational semantics

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

    Veröffentlicht 1990
    Buch Fernleihe Bestellen


    Gespeichert in:
  9. 9
    Algebraic theory of processes

    Algebraic theory of processes von Hennessy, Matthew

    Veröffentlicht 1988
    Buch Fernleihe Bestellen


    Gespeichert in:
  10. 10
    The power of the future perfect in program logics

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

    Veröffentlicht 1983
    Buch Fernleihe Bestellen


    Gespeichert in:
  11. 11
    A term model for synchronous processes

    A term model for synchronous processes von Hennessy, Matthew

    Veröffentlicht 1981
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: