Treffer 1 – 4 von 4 für Suche 'Luttik, S. P.', Suchdauer: 0,02s 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
    An Psi-complete equational specification of interleaving

    An Psi-complete equational specification of interleaving von Fokkink, Willem J. 1965-, Luttik, S. P.

    Veröffentlicht 2000
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Complete axiomatisations of weak-, delay- and Eta-bisimulation for process algebras with alternative quantification over data

    Complete axiomatisations of weak-, delay- and Eta-bisimulation for process algebras with alternative quantification over data von Luttik, S. P.

    Veröffentlicht 1999
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Cylindric process algebras with conditionals give substitutionless RhoCRL

    Cylindric process algebras with conditionals give substitutionless RhoCRL von Luttik, S. P.

    Veröffentlicht 1999
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    Description and formal specification of the link layer of P1394

    Description and formal specification of the link layer of P1394 von Luttik, S. P.

    Veröffentlicht 1997
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: