Showing 1 - 10 results of 10 for search 'Ponse, Alban', query time: 0.02s 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
    Execution architectures for program algebra

    Execution architectures for program algebra by Bergstra, Jan A. 1951-, Ponse, Alban

    Published 2004
    Book Interlibrary loan Place Request


    Saved in:
  2. 2
    The syntax and semantics of CRL

    The syntax and semantics of CRL by Groote, Jan F., Ponse, Alban

    Published 1990
    Book Interlibrary loan Place Request


    Saved in:
  3. 3
    Process expressions and Hoare's logic

    Process expressions and Hoare's logic by Ponse, Alban

    Published 1989
    Book Interlibrary loan Place Request


    Saved in:
  4. 4
    Process algebra with guards combining Hoare logic with process algebra

    Process algebra with guards combining Hoare logic with process algebra by Groote, Jan F., Ponse, Alban

    Published 1990
    Get full text
    Book Interlibrary loan Place Request


    Saved in:
  5. 5
    Strong completeness for Hoare logics of recursive processes an infinitary approach

    Strong completeness for Hoare logics of recursive processes an infinitary approach by Ponse, Alban, Vries, Fer-Jan de

    Published 1989
    Book Interlibrary loan Place Request


    Saved in:
  6. 6
    Process expressions and Hoare's logic

    Process expressions and Hoare's logic by Ponse, Alban

    Published 1989
    Book Interlibrary loan Place Request


    Saved in:
  7. 7
    Process algebras with data

    Process algebras with data by Ponse, Alban

    Published 1992
    Book Interlibrary loan Place Request


    Saved in:
  8. 8
    Computable processes and bisimulation equivalence

    Computable processes and bisimulation equivalence by Ponse, Alban

    Published 1992
    Book Interlibrary loan Place Request


    Saved in:
  9. 9
    Computable processes and bisimulation equivalence

    Computable processes and bisimulation equivalence by Ponse, Alban

    Published 1992
    Book Interlibrary loan Place Request


    Saved in:
  10. 10
    Proof theory for mCRL

    Proof theory for mCRL by Groote, Jan F., Ponse, Alban

    Published 1991
    Book Interlibrary loan Place Request


    Saved in:

Search Tools: