Showing 1 - 4 results of 4 for search 'Hennessy, Matthew C.', query time: 0.03s 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
    Modelling finite delay operators

    Modelling finite delay operators by Hennessy, Matthew C.

    Published 1983
    Book Interlibrary loan Place Request


    Saved in:
  3. 3
    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:
  4. 4
    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:

Search Tools: