( en | de | ru )

 

Disambiguation of "Reisig, Wolfgang"

Author of the publication

copydeleteadd this publication to your clipboard
An ASM-Characterization of a Class of Distributed Algorithms.

, and . Rigorous Methods for Software Construction and Analysis, volume 5115 of Lecture Notes in Computer Science, page 50-64. Springer, (2009)

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.

Wolfgang Reisig

Wolfgang Reisig

Reinhard Reisig

Gerhard Reisig

Hildegard Reisig

 

Other publications of authors with the same name

System Design Using Petri Nets.. Requirements Engineering, volume 74 of Informatik-Fachberichte, page 29-41. Springer, (1983)Partial Order Semantics versus Interleaving Semantics for CSP-like Languages and its Impact on Fairness.. ICALP, volume 172 of Lecture Notes in Computer Science, page 403-413. Springer, (1984)Topic Introduction., , , and . Euro-Par, volume 2790 of Lecture Notes in Computer Science, page 623. Springer, (2003)The Scholten/Dijkstra Pebble Game Played Straightly, Distributedly, Online and Reversed.. Pillars of Computer Science, volume 4800 of Lecture Notes in Computer Science, page 589-595. Springer, (2008)An ASM-Characterization of a Class of Distributed Algorithms., and . Rigorous Methods for Software Construction and Analysis, volume 5115 of Lecture Notes in Computer Science, page 50-64. Springer, (2009)Towards an ASM Thesis for Unconventional Algorithms.. Abstract State Machines, volume 1912 of Lecture Notes in Computer Science, page 112-130. Springer, (2000)Schemes for Nonsequential Processing Systems.. MFCS, volume 88 of Lecture Notes in Computer Science, page 515-527. Springer, (1980)Place or Transition Petri Nets., and . Petri Nets, volume 1491 of Lecture Notes in Computer Science, page 122-173. Springer, (1996)Informal Introduction to Petri Nets., and . Petri Nets, volume 1491 of Lecture Notes in Computer Science, page 1-11. Springer, (1996)Petri-Netze: ein Abriß ihrer Grundlagen und Anwendungen., , and . Inform. Spektrum, 7 (1): 20-27 (1984)