gefundene Verfasser GROOTE, JF

Groote, Jan F.
Groote, Jan Friso 1965-
Bezem, Marc
Groote, Jan Friso
Pol, Jaco C. van de
Alle anzeigen »
Ponse, Alban
TACAS Online
Atif, Muhammad
FMICS Warschau
Korver, Henri P.

Treffer 1 - 20 von 65 für Suche 'GROOTE, JF', Suchdauer: 1,00s Treffer weiter einschränken
  1. 1
    Logic Gates, Circuits, Processors, Compilers and Computers

    Logic Gates, Circuits, Processors, Compilers and Computers von Groote, Jan Friso, Morel, Rolf, Schmaltz, Julien, Watkins, Adam

    Veröffentlicht 2021
    BTU01
    FCO01
    FHA01
    FHD01
    FHI01
    FHM01
    FHN01
    FHR01
    FLA01
    FRO01
    FWS01
    FWS02
    HTW01
    UBA01
    UBG01
    UBM01
    UBR01
    UBT01
    UBW01
    UBY01
    UER01
    UPA01
    URL des Erstveröffentlichers
    Elektronisch E-Book

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Understanding Behaviour of Distributed Systems Using mCRL2

    Understanding Behaviour of Distributed Systems Using mCRL2 von Atif, Muhammad, Groote, Jan Friso

    Veröffentlicht 2023

    Volltext
    Elektronisch E-Book

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Basic theorems for parallel processes in timed MyCRL

    Basic theorems for parallel processes in timed MyCRL von Groote, Jan F.

    Veröffentlicht 1998
    Buch

    Zu den Favoriten
    Gespeichert in:
  4. 4
    A complete axiomatisation of branching bisimulation for process algebras with alternative quantification over data

    A complete axiomatisation of branching bisimulation for process algebras with alternative quantification over data von Groote, Jan F.

    Veröffentlicht 1998
    Buch

    Zu den Favoriten
    Gespeichert in:
  5. 5
    towards a formal mathematical vernacular

    towards a formal mathematical vernacular von Groote, Jan F.

    Veröffentlicht 1992
    Buch

    Zu den Favoriten
    Gespeichert in:
  6. 6
    A short proof of the decidability of bisimulation for normed BPA-processes

    A short proof of the decidability of bisimulation for normed BPA-processes von Groote, Jan F.

    Veröffentlicht 1991
    Buch

    Zu den Favoriten
    Gespeichert in:
  7. 7
    A new strategy for proving omega-completeness applied to process algebra

    A new strategy for proving omega-completeness applied to process algebra von Groote, Jan F.

    Veröffentlicht 1990
    kostenfrei
    Buch

    Zu den Favoriten
    Gespeichert in:
  8. 8
    Specification and verification of real time systems in ACP

    Specification and verification of real time systems in ACP von Groote, Jan F.

    Veröffentlicht 1990
    kostenfrei
    Buch

    Zu den Favoriten
    Gespeichert in:
  9. 9
    Focus points and convergent process operators

    Focus points and convergent process operators von Groote, Jan F., Springintveld, Jan

    Veröffentlicht 1995
    Buch

    Zu den Favoriten
    Gespeichert in:
  10. 10
    Proof theory for mCRL

    Proof theory for mCRL von Groote, Jan F., Ponse, Alban

    Veröffentlicht 1991
    Buch

    Zu den Favoriten
    Gespeichert in:
  11. 11
    A correctness proof of the bakery protocol in CRL

    A correctness proof of the bakery protocol in CRL von Groote, Jan F., Korver, Henri P.

    Veröffentlicht 1994
    Buch

    Zu den Favoriten
    Gespeichert in:
  12. 12
    A correctness proof of the bakery protocol in mCRL

    A correctness proof of the bakery protocol in mCRL von Groote, Jan F., Korver, Henri P.

    Veröffentlicht 1992
    Buch

    Zu den Favoriten
    Gespeichert in:
  13. 13
    An efficient algorithm for branching bisimulation and stuttering equivalence

    An efficient algorithm for branching bisimulation and stuttering equivalence von Groote, Jan F., Vaandrager, Frits W.

    Veröffentlicht 1990
    kostenfrei
    Buch

    Zu den Favoriten
    Gespeichert in:
  14. 14
    Structured operational semantics and bisimulation as a congruence

    Structured operational semantics and bisimulation as a congruence von Groote, Jan F., Vaandrager, Frits W.

    Veröffentlicht 1988
    Buch

    Zu den Favoriten
    Gespeichert in:
  15. 15
    Equational binary decision diagrams

    Equational binary decision diagrams von Groote, Jan F., Pol, Jaco C. van de

    Veröffentlicht 2000
    Buch

    Zu den Favoriten
    Gespeichert in:
  16. 16
    Analysis of three hybrid systems in timed MyCRL

    Analysis of three hybrid systems in timed MyCRL von Groote, Jan F.

    Veröffentlicht 1998
    Buch

    Zu den Favoriten
    Gespeichert in:
  17. 17
    Verification of temporal properties of processes in a setting with data

    Verification of temporal properties of processes in a setting with data von Groote, Jan F.

    Veröffentlicht 1998
    Buch

    Zu den Favoriten
    Gespeichert in:
  18. 18
    Binary decision diagrams for first order predicate logic

    Binary decision diagrams for first order predicate logic von Groote, Jan F.

    Veröffentlicht 1995
    Buch

    Zu den Favoriten
    Gespeichert in:
  19. 19
    Focus points and convergent process operators

    Focus points and convergent process operators von Groote, Jan F.

    Veröffentlicht 1995
    Buch

    Zu den Favoriten
    Gespeichert in:
  20. 20
    Verification of parallel systems via decomposition

    Verification of parallel systems via decomposition von Groote, Jan F.

    Veröffentlicht 1992
    Buch

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: