Matthew Hennessy

Matthew Hennessy is an Irish computer scientist who has contributed especially to concurrency, process calculi and programming language semantics. Provided by Wikipedia
Showing 1 - 11 results of 11 for search 'Hennessy, Matthew', query time: 0.04s Refine Results
In addition to media from the THWS, media from other Bavarian libraries are also displayed.
These are marked with the "Interlibrary loan" label and can be ordered by clicking on them.
  1. 1
    Proving systolic systems correct

    Proving systolic systems correct by Hennessy, Matthew C.

    Published 1984
    Book Interlibrary loan Place Request


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

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

    Published 1983
    Book Interlibrary loan Place Request


    Saved in:
  3. 3
    Modelling finite delay operators

    Modelling finite delay operators by Hennessy, Matthew C.

    Published 1983
    Book Interlibrary loan Place Request


    Saved in:
  4. 4
    On observing nondeterminism and concurrency

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

    Published 1980
    Book Interlibrary loan Place Request


    Saved in:
  5. 5
    A distributed pi-calculus

    A distributed pi-calculus by Hennessy, Matthew

    Published 2007
    Book Interlibrary loan Place Request


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

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

    Published 1984
    Book Interlibrary loan Place Request


    Saved in:
  7. 7
    A distributed pi-calculus

    A distributed pi-calculus by Hennessy, Matthew

    Published 2007
    Get full text
    Electronic eBook Interlibrary loan Place Request


    Saved 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 by Hennessy, Matthew

    Published 1990
    Book Interlibrary loan Place Request


    Saved in:
  9. 9
    Algebraic theory of processes

    Algebraic theory of processes by Hennessy, Matthew

    Published 1988
    Book Interlibrary loan Place Request


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

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

    Published 1983
    Book Interlibrary loan Place Request


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

    A term model for synchronous processes by Hennessy, Matthew

    Published 1981
    Book Interlibrary loan Place Request


    Saved in:

Search Tools: