Author of the publication

A Simplified Proof for a Self-Stabilizing Protocol: A Game of Cards.

, , , and . Inf. Process. Lett., 54 (6): 327-328 (1995)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

A Simplified Proof for a Self-Stabilizing Protocol: A Game of Cards., , , and . Inf. Process. Lett., 54 (6): 327-328 (1995)Observable liveness of Petri nets., and . Acta Inf., 52 (2-3): 153-174 (2015)Internet der Zukunft - sicher, schnell, vertrauenswürdig., , , and . Informatik Spektrum, 38 (4): 277-282 (2015)Bericht aus der Fachgruppe E-Learning., and . i-com, 3 (2): 68-69 (2004)Executability of scenarios in Petri nets., , , , and . Theor. Comput. Sci., 410 (12-13): 1190-1216 (2009)Process Mining Based on Regions of Languages., , , and . BPM, volume 4714 of Lecture Notes in Computer Science, page 375-383. Springer, (2007)Negotiations and Petri Nets., and . T. Petri Nets and Other Models of Concurrency, (2016)Models from Scenarios., , and . Trans. Petri Nets and Other Models of Concurrency, (2013)Petri Nets over Partial Algebra., , and . Unifying Petri Nets, volume 2128 of Lecture Notes in Computer Science, page 126-172. Springer, (2001)Model Validation - A Theoretical Issue?. ICATPN, volume 2360 of Lecture Notes in Computer Science, page 23-43. Springer, (2002)