Treffer 1 - 20 von 37 für Suche 'Fokkink, Willem J. 1965-', Suchdauer: 0,39s Treffer weiter einschränken
  1. 1
    An effective axiomatization for real time ACP

    An effective axiomatization for real time ACP von Fokkink, Willem J. 1965-, Klusener, Anton S.

    Veröffentlicht 1995
    Buch

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Safety criteria for Hoorn-Kersenboogerd railway station

    Safety criteria for Hoorn-Kersenboogerd railway station von Fokkink, Willem J. 1965-

    Veröffentlicht 1995
    Buch

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Idempotent most general unifiers for infinite sets

    Idempotent most general unifiers for infinite sets von Fokkink, Willem J. 1965-

    Veröffentlicht 1994
    Buch

    Zu den Favoriten
    Gespeichert in:
  4. 4
    The tyft/tyxt format reduces to tree rules

    The tyft/tyxt format reduces to tree rules von Fokkink, Willem J. 1965-

    Veröffentlicht 1993
    Buch

    Zu den Favoriten
    Gespeichert in:
  5. 5
    A simple specification language combining processes, time and data

    A simple specification language combining processes, time and data von Fokkink, Willem J. 1965-

    Veröffentlicht 1992
    Buch

    Zu den Favoriten
    Gespeichert in:
  6. 6
    Real time process algebra with prefixed integration

    Real time process algebra with prefixed integration von Fokkink, Willem J. 1965-

    Veröffentlicht 1992
    Buch

    Zu den Favoriten
    Gespeichert in:
  7. 7
    Normal forms in real time process algebra

    Normal forms in real time process algebra von Fokkink, Willem J. 1965-

    Veröffentlicht 1991
    Buch

    Zu den Favoriten
    Gespeichert in:
  8. 8
    Distributed algorithms an intuitive approach

    Distributed algorithms an intuitive approach von Fokkink, Willem J. 1965-

    Veröffentlicht 2018
    Buch

    Zu den Favoriten
    Gespeichert in:
  9. 9
    Introduction to process algebra

    Introduction to process algebra von Fokkink, Willem J. 1965-

    Veröffentlicht 2000
    Buch

    Zu den Favoriten
    Gespeichert in:
  10. 10
    An axiomatization for the terminal cycle

    An axiomatization for the terminal cycle von Fokkink, Willem J. 1965-

    Veröffentlicht 1996
    Buch

    Zu den Favoriten
    Gespeichert in:
  11. 11
    Algebra of timed frames

    Algebra of timed frames von Bergstra, Jan A. 1951-, Fokkink, Willem J. 1965-, Middelburg, Cornelis A.

    Veröffentlicht 1995
    Buch

    Zu den Favoriten
    Gespeichert in:
  12. 12
    A reference model for teleconferencing systems

    A reference model for teleconferencing systems von Bonini, Cinzia, Fokkink, Willem J. 1965-, Lesch, Arek

    Veröffentlicht 1995
    Buch

    Zu den Favoriten
    Gespeichert in:
  13. 13
    An effective axiomatization for real time ACP

    An effective axiomatization for real time ACP von Fokkink, Willem J. 1965-

    Veröffentlicht 1995
    Buch

    Zu den Favoriten
    Gespeichert in:
  14. 14
    A complete equational axiomatisation for prefix iteration

    A complete equational axiomatisation for prefix iteration von Fokkink, Willem J. 1965-

    Veröffentlicht 1994
    Buch

    Zu den Favoriten
    Gespeichert in:
  15. 15
    A complete equational axiomatisation for prefix iteration

    A complete equational axiomatisation for prefix iteration von Fokkink, Willem J. 1965-

    Veröffentlicht 1994
    Buch

    Zu den Favoriten
    Gespeichert in:
  16. 16
    Basic process algebra with iteration completeness of its equational axioms

    Basic process algebra with iteration completeness of its equational axioms von Fokkink, Willem J. 1965-, Zantema, Hans

    Veröffentlicht 1993
    Buch

    Zu den Favoriten
    Gespeichert in:
  17. 17
    The tyft tyxt format reduces to tree rules

    The tyft tyxt format reduces to tree rules von Fokkink, Willem J. 1965-

    Veröffentlicht 1993
    Buch

    Zu den Favoriten
    Gespeichert in:
  18. 18
    Real time process algebra with prefixed integration

    Real time process algebra with prefixed integration von Fokkink, Willem J. 1965-, Klusener, A. S.

    Veröffentlicht 1992
    Buch

    Zu den Favoriten
    Gespeichert in:
  19. 19
    Regular processes with relative time and silent steps

    Regular processes with relative time and silent steps von Fokkink, Willem J. 1965-

    Veröffentlicht 1992
    Buch

    Zu den Favoriten
    Gespeichert in:
  20. 20
    Distributed algorithms an intuitive approach

    Distributed algorithms an intuitive approach von Fokkink, Willem J. 1965-

    Veröffentlicht 2013
    Inhaltsverzeichnis
    Buch

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: