Search Results - Hennessy, Matthew

  • Showing 1 – 12 results of 12
Filter by
  1. 1
    Cover Image

    A distributed pi-calculus
    by Hennessy, Matthew

    Published 2007
    Read online
    eBook


    Saved in:
  2. 2
    Cover Image

    Proving systolic systems correct
    by Hennessy, Matthew C.

    Published 1984
    Book


    Saved in:
  3. 3
    Cover Image

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

    Published 1983
    Book


    Saved in:
  4. 4
    Cover Image

    Modelling finite delay operators
    by Hennessy, Matthew C.

    Published 1983
    Book


    Saved in:
  5. 5
    Cover Image

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

    Published 1980
    Book


    Saved in:
  6. 6
    Cover Image

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

    Published 1984
    Book


    Saved in:
  7. 7
    Cover Image

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

    Published 1990
    Book


    Saved in:
  8. 8
    Cover Image

    Algebraic theory of processes
    by Hennessy, Matthew

    Published 1988
    Book


    Saved in:
  9. 9
    Cover Image

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

    Published 1983
    Book


    Saved in:
  10. 10
    Cover Image

    A term model for synchronous processes
    by Hennessy, Matthew

    Published 1981
    Book


    Saved in:
  11. 11
    Cover Image

    A distributed pi-calculus
    by Hennessy, Matthew

    Published 2007

    Read online (BSB)
    Library Card of Bavarian State Library (BSB) necessary.
    Electronic eBook


    Saved in:
  12. 12
    Cover Image

    A distributed pi-calculus
    by Hennessy, Matthew

    Published 2007
    Book


    Saved in:

Search Tools: