Treffer 1 – 10 von 10 für Suche 'Ponse, Alban', Suchdauer: 0,05s 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
    Execution architectures for program algebra

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

    Veröffentlicht 2004
    Buch Fernleihe Bestellen


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

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

    Veröffentlicht 1990
    Buch Fernleihe Bestellen


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

    Process expressions and Hoare's logic von Ponse, Alban

    Veröffentlicht 1989
    Buch Fernleihe Bestellen


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

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

    Veröffentlicht 1990
    Volltext öffnen
    Buch Fernleihe Bestellen


    Gespeichert 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 von Ponse, Alban, Vries, Fer-Jan de

    Veröffentlicht 1989
    Buch Fernleihe Bestellen


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

    Process expressions and Hoare's logic von Ponse, Alban

    Veröffentlicht 1989
    Buch Fernleihe Bestellen


    Gespeichert in:
  7. 7
    Process algebras with data

    Process algebras with data von Ponse, Alban

    Veröffentlicht 1992
    Buch Fernleihe Bestellen


    Gespeichert in:
  8. 8
    Computable processes and bisimulation equivalence

    Computable processes and bisimulation equivalence von Ponse, Alban

    Veröffentlicht 1992
    Buch Fernleihe Bestellen


    Gespeichert in:
  9. 9
    Computable processes and bisimulation equivalence

    Computable processes and bisimulation equivalence von Ponse, Alban

    Veröffentlicht 1992
    Buch Fernleihe Bestellen


    Gespeichert in:
  10. 10
    Proof theory for mCRL

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

    Veröffentlicht 1991
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: