( en | de | ru )

 

Disambiguierung von "Hesselink, Wim H."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Invariants for the Construction of a Handshake Register.

. Inf. Process. Lett., 68 (4): 173-177 (1998)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Wim Wätjen

Wim Lutzke

Wim Broekaert

Wim Beyers

Wim Damen

 

Weitere Publikationen von Autoren mit dem selben Namen

Invariants for the Construction of a Handshake Register.. Inf. Process. Lett., 68 (4): 173-177 (1998)Temporal Preconditions of Recursive Procedures., und . REX Workshop, Volume 666 von Lecture Notes in Computer Science, Seite 236-260. Springer, (1992)Wait-free concurrent memory management by Create and Read until Deletion (CaRuD)., und . Distributed Comput., 14 (1): 31-39 (2001)Progress Under Bounded Fairness.. Distributed Comput., 12 (4): 197-207 (1999)Lock-free dynamic hash tables with open addressing., , und . Distributed Comput., 18 (1): 21-42 (2005)Preference rankings in the face of uncertainty.. Acta Inf., 39 (3): 211-231 (2003)Fast mutual exclusion by the Triangle algorithm., , und . Concurr. Comput. Pract. Exp., (2018)Bounded Delay for a Free Address.. Acta Inf., 33 (3): 233-254 (1996)A Mechanical Proof of Segall's PIF Algorithm.. Formal Aspects Comput., 9 (2): 208-226 (1997)An assertional proof for a construction of an atomic variable.. Formal Aspects Comput., 16 (4): 387-393 (2004)