gefundene Verfasser Klop, W M C

Klop, Jan Willem 1945-
Baeten, Josephus C. M.
Bergstra, Jan A. 1951-
Bakker, Jacobus W. de 1939-2012
Meyer, John-Jules Ch. 1954-

Treffer 1 - 7 von 7 für Suche 'Klop, W M C', Suchdauer: 0,43s Treffer weiter einschränken
  1. 1
    On the consistency of Koomen's fair abstraction rule

    On the consistency of Koomen's fair abstraction rule von Baeten, Josephus C. M., Bergstra, Jan A. 1951-, Klop, Jan Willem 1945-

    Veröffentlicht 1985
    Buch

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Conditional axioms and alpha/beta calculus in process algebra

    Conditional axioms and alpha/beta calculus in process algebra von Baeten, Josephus C. M., Bergstra, Jan A. 1951-, Klop, Jan Willem 1945-

    Veröffentlicht 1985
    Buch

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Syntax and defining equations for an interrupt mechanism in process algebra

    Syntax and defining equations for an interrupt mechanism in process algebra von Baeten, Josephus C. M., Bergstra, Jan A. 1951-, Klop, Jan Willem 1945-

    Veröffentlicht 1985
    Buch

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Ready trace semantics for concrete process algebra with priority operator

    Ready trace semantics for concrete process algebra with priority operator von Baeten, Josephus C. M., Bergstra, Jan A. 1951-, Klop, Jan Willem 1945-

    Veröffentlicht 1985
    Buch

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Decidability of bisimulation equivalence for processes generating context-free languages

    Decidability of bisimulation equivalence for processes generating context-free languages von Baeten, Josephus C. M., Bergstra, Jan A. 1951-, Klop, Jan Willem 1945-

    Veröffentlicht 1986
    Buch

    Zu den Favoriten
    Gespeichert in:
  6. 6
    Priority rewrite systems

    Priority rewrite systems von Baeten, Josephus C. M., Bergstra, Jan A. 1951-, Klop, Jan Willem 1945-

    Veröffentlicht 1984
    Buch

    Zu den Favoriten
    Gespeichert in:
  7. 7
    Correctness of programs with function procedures

    Correctness of programs with function procedures von Bakker, Jacobus W. de 1939-2012, Klop, Jan Willem 1945-, Meyer, John-Jules Ch. 1954-

    Veröffentlicht 1981
    Buch

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: