gefundene Verfasser VAN GLABBEEK, Rob

Glabbeek, Rob van
Goltz, Ursula
Baeten, Josephus C. M.
Weijland, W. P.
Vaandrager, Frits 1962-
Alle anzeigen »
Vaandrager, Frits W.
Fokkink, Willem J. 1965-
Glabbeek, Rob J. van
Olderog, Ernst-Rüdiger 1955-
Rodenburg, P. H.

Treffer 1 - 20 von 31 für Suche 'VAN GLABBEEK, Rob', Suchdauer: 0,90s Treffer weiter einschränken
  1. 1
    Comparative concurrency semantics and refinement of actions

    Comparative concurrency semantics and refinement of actions von Glabbeek, Rob van

    Veröffentlicht 1996
    Inhaltsverzeichnis
    Buch

    Zu den Favoriten
    Gespeichert in:
  2. 2
    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

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Equivalences and Refinement

    Equivalences and Refinement von Glabbeek, Rob van, Goltz, Ursula

    Veröffentlicht 1990
    Buch

    Zu den Favoriten
    Gespeichert in:
  4. 4
    A deadlock-sensitive congruence for action refinement

    A deadlock-sensitive congruence for action refinement von Glabbeek, Rob van, Goltz, Ursula

    Veröffentlicht 1990
    Buch

    Zu den Favoriten
    Gespeichert in:
  5. 5
    The refinement theorem for ST-bisimulation semantics

    The refinement theorem for ST-bisimulation semantics von Glabbeek, Rob van

    Veröffentlicht 1990
    kostenfrei
    Buch

    Zu den Favoriten
    Gespeichert in:
  6. 6
    The linear time - branching time spectrum

    The linear time - branching time spectrum von Glabbeek, Rob van

    Veröffentlicht 1990
    kostenfrei
    Buch

    Zu den Favoriten
    Gespeichert in:
  7. 7
    Abstraction and empty process in process algebra

    Abstraction and empty process in process algebra von Baeten, Josephus C. M., Glabbeek, Rob van

    Veröffentlicht 1987
    Buch

    Zu den Favoriten
    Gespeichert in:
  8. 8
    Merge and termination in process algebra

    Merge and termination in process algebra von Baeten, Josephus C. M., Glabbeek, Rob van

    Veröffentlicht 1987
    Buch

    Zu den Favoriten
    Gespeichert in:
  9. 9
    Refinement of actions and equivalence notions for concurrent systems

    Refinement of actions and equivalence notions for concurrent systems von Glabbeek, Rob van, Goltz, Ursula

    Veröffentlicht 1998
    Buch

    Zu den Favoriten
    Gespeichert in:
  10. 10
    Ntyft/ntyxt rules reduced to ntree rules

    Ntyft/ntyxt rules reduced to ntree rules von Fokkink, Willem J. 1965-, Glabbeek, Rob van

    Veröffentlicht 1995
    Buch

    Zu den Favoriten
    Gespeichert in:
  11. 11
    What is branching time semantics and why to use it?

    What is branching time semantics and why to use it? von Glabbeek, Rob van

    Veröffentlicht 1993
    Buch

    Zu den Favoriten
    Gespeichert in:
  12. 12
    Modular specification of process algebras

    Modular specification of process algebras von Glabbeek, Rob van, Vaandrager, Frits 1962-

    Veröffentlicht 1990
    Buch

    Zu den Favoriten
    Gespeichert in:
  13. 13
    Branching time and abstraction in bisimulation semantics (extended abstract)

    Branching time and abstraction in bisimulation semantics (extended abstract) von Glabbeek, Rob van

    Veröffentlicht 1989
    Buch

    Zu den Favoriten
    Gespeichert in:
  14. 14
    Refinement in branching time semantics

    Refinement in branching time semantics von Glabbeek, Rob van

    Veröffentlicht 1989
    Buch

    Zu den Favoriten
    Gespeichert in:
  15. 15
    An interpolation theorem in equational logic

    An interpolation theorem in equational logic von Rodenburg, P. H., Glabbeek, Rob van

    Veröffentlicht 1988
    Buch

    Zu den Favoriten
    Gespeichert in:
  16. 16
    Modular specifications in process algebra with curious queues

    Modular specifications in process algebra with curious queues von Glabbeek, Rob van, Vaandrager, Frits W.

    Veröffentlicht 1988
    Buch

    Zu den Favoriten
    Gespeichert in:
  17. 17
    Another look at abstraction in process algebra

    Another look at abstraction in process algebra von Baeten, Josephus C. M., Glabbeek, Rob van

    Veröffentlicht 1987
    Buch

    Zu den Favoriten
    Gespeichert in:
  18. 18
    Bounded nondeterminism and the approximation induction principle in process algebra

    Bounded nondeterminism and the approximation induction principle in process algebra von Glabbeek, Rob van

    Veröffentlicht 1986
    Buch

    Zu den Favoriten
    Gespeichert in:
  19. 19
    The difference between splitting in n and n+1

    The difference between splitting in n and n+1 von Glabbeek, Rob van

    Veröffentlicht 1995
    Buch

    Zu den Favoriten
    Gespeichert in:
  20. 20
    A complete axiomatization for branching bisimulation congruence of finite-state behaviours

    A complete axiomatization for branching bisimulation congruence of finite-state behaviours von Glabbeek, Rob van

    Veröffentlicht 1993
    Buch

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: