( en | de | ru )

 

Disambiguation of "Reisig, Wolfgang"

Author of the publication

copydeleteadd this publication to your clipboard
Interleaved progress, concurrent progress, and local progress.

. Partial Order Methods in Verification, volume 29 of DIMACS Series in Discrete Mathematics and Theoretical Computer Science, page 99-115. DIMACS/AMS, (1996)

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

The 9th advanced summer school on service-oriented computing, June 28-July 3, Hersonissos, Crete, Greece.. Computing, 99 (2): 127 (2017)Konzepte der Petrinetze., and . Inform. Spektrum, 37 (3): 172-190 (2014)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)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)Topic Introduction., , , and . Euro-Par, volume 2790 of Lecture Notes in Computer Science, page 623. Springer, (2003)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)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)