( en | de | ru )

 

Disambiguation of "Gallasch, Guy Edward"

Author of the publication

copydeleteadd this publication to your clipboard
Modelling and Analysing the Contract Net Protocol - Extension Using Coloured Petri Nets.

, , and . FORTE, volume 5048 of Lecture Notes in Computer Science, page 169-184. Springer, (2008)

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.

Joachim Gallasch

Diana Gallasch

Bernd Gallasch

Gebhard Gallasch

Christina Gallasch

 

Other publications of authors with the same name

How Stop and Wait Protocols Can Fail over the Internet., and . FORTE, volume 2767 of Lecture Notes in Computer Science, page 209-223. Springer, (2003)Modelling and Analysing the Contract Net Protocol - Extension Using Coloured Petri Nets., , and . FORTE, volume 5048 of Lecture Notes in Computer Science, page 169-184. Springer, (2008)Sweep-Line Analysis of TCP Connection Management., , and . ICFEM, volume 3785 of Lecture Notes in Computer Science, page 156-172. Springer, (2005)Modelling personnel within a defence logistics maintenance process., , , and . SimuTools, page 18. ICST/ACM, (2008)On Parametric Steady State Analysis of a Generalized Stochastic Petri Net with a Fork-Join Subnet., and . Petri Nets, volume 6709 of Lecture Notes in Computer Science, page 268-287. Springer, (2011)Equivalence class verification of the contract net protocol-extension., and . Int. J. Softw. Tools Technol. Transf., 18 (6): 685-706 (2016)A Study of the Convergence of Steady State Probabilities in a Closed Fork-Join Network., and . ATVA, volume 6252 of Lecture Notes in Computer Science, page 143-157. Springer, (2010)Analysis of the Datagram Congestion Control Protocol's connection management procedures using the sweep-line method., , and . Int. J. Softw. Tools Technol. Transf., 10 (1): 29-56 (2008)Modelling defence logistics networks., , , , , and . Int. J. Softw. Tools Technol. Transf., 10 (1): 75-93 (2008)Checking safety properties on-the-fly with the sweep-line method., , , and . Int. J. Softw. Tools Technol. Transf., 9 (3-4): 371-391 (2007)