Treffer 1 – 20 von 28 für Suche 'Vaandrager, Frits W.', Suchdauer: 0,06s 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
    The difference between splitting in n and n+1

    The difference between splitting in n and n+1 von Glabbeek, Rob van, Vaandrager, Frits W.

    Veröffentlicht 1995
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    A note on fairness in I O automata

    A note on fairness in I O automata von Romijn, Judi M. T., Vaandrager, Frits W.

    Veröffentlicht 1995
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Verification of a distributed summation algorithm

    Verification of a distributed summation algorithm von Vaandrager, Frits W.

    Veröffentlicht 1995
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    Forward and backward simulations

    Forward and backward simulations von Lynch, Nancy A. 1948-, Vaandrager, Frits W.

    Veröffentlicht 1993
    Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    Algebraic techniques for concurrency and their application

    Algebraic techniques for concurrency and their application von Vaandrager, Frits W.

    Veröffentlicht 1989
    Buch Fernleihe Bestellen


    Gespeichert in:
  6. 6
    Some observations on redundancy in a context

    Some observations on redundancy in a context von Vaandrager, Frits W.

    Veröffentlicht 1988
    Buch Fernleihe Bestellen


    Gespeichert in:
  7. 7
    Proof-checking a data link protocol

    Proof-checking a data link protocol von Helmink, L., Sellink, Alex, Vaandrager, Frits W.

    Veröffentlicht 1994
    Buch Fernleihe Bestellen


    Gespeichert in:
  8. 8
    Forward and backward simulations

    Forward and backward simulations von Lynch, Nancy A. 1948-, Vaandrager, Frits W.

    Veröffentlicht 1993
    Buch Fernleihe Bestellen


    Gespeichert in:
  9. 9
    Expressiveness results for process algebras

    Expressiveness results for process algebras von Vaandrager, Frits W.

    Veröffentlicht 1993
    Buch Fernleihe Bestellen


    Gespeichert in:
  10. 10
    Turning SOS rules into equations

    Turning SOS rules into equations von Aceto, Luca, Bloom, Bard, Vaandrager, Frits W.

    Veröffentlicht 1992
    Buch Fernleihe Bestellen


    Gespeichert in:
  11. 11
    An algabra for process creation

    An algabra for process creation von Baeten, Josephus C. M., Vaandrager, Frits W.

    Veröffentlicht 1989
    Buch Fernleihe Bestellen


    Gespeichert in:
  12. 12
    A simple definition for parallel composition of prime event structures

    A simple definition for parallel composition of prime event structures von Vaandrager, Frits W.

    Veröffentlicht 1989
    Buch Fernleihe Bestellen


    Gespeichert in:
  13. 13
    Process algebra semantics of POOL

    Process algebra semantics of POOL von Vaandrager, Frits W.

    Veröffentlicht 1986
    Buch Fernleihe Bestellen


    Gespeichert in:
  14. 14
    Verification of two communication protocols by means of process algebra

    Verification of two communication protocols by means of process algebra von Vaandrager, Frits W.

    Veröffentlicht 1986
    Buch Fernleihe Bestellen


    Gespeichert in:
  15. 15
    Verification of a distributed summation algorithm

    Verification of a distributed summation algorithm von Vaandrager, Frits W.

    Veröffentlicht 1995
    Buch Fernleihe Bestellen


    Gespeichert in:
  16. 16
    Action transducers and timed automata

    Action transducers and timed automata von Lynch, Nancy A. 1948-, Vaandrager, Frits W.

    Veröffentlicht 1994
    Buch Fernleihe Bestellen


    Gespeichert in:
  17. 17
    Expressiveness results for process algebras

    Expressiveness results for process algebras von Vaandrager, Frits W.

    Veröffentlicht 1993
    Buch Fernleihe Bestellen


    Gespeichert in:
  18. 18
    Forward and backward simulations

    Forward and backward simulations von Lynch, Nancy A. 1948-, Vaandrager, Frits W.

    Veröffentlicht 1993
    Buch Fernleihe Bestellen


    Gespeichert in:
  19. 19
    Forward and backward simulations

    Forward and backward simulations von Lynch, Nancy A. 1948-, Vaandrager, Frits W.

    Veröffentlicht 1993
    Buch Fernleihe Bestellen


    Gespeichert in:
  20. 20
    Forward and backward simulations

    Forward and backward simulations von Lynch, Nancy A. 1948-, Vaandrager, Frits W.

    Veröffentlicht 1993
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: