For the most recent entries see the
Petri Nets Newsletter.
Gallasch, G.E.
-
Gallasch, Guy Edward;
Billington, Jonathan;
Vanit-Anunchai, Somsak;
Kristensen, Lars Michael:
Checking safety properties on-the-fly with the sweep-line method.
2007.
-
Gallasch, Guy Edward;
Billington, Jonathan:
Using Parametric Automata for the Verification of the Stop-and-Wait Class of Protocols.
2005.
-
Billington, J.;
Gallasch, G.E.;
Kristensen, L.M.;
Mailund, T.:
Exploiting Equivalence Reduction and the Sweep-Line Method for Detecting Terminal States.
2004.
-
Gallasch, Guy E.;
Ouyang, Chun;
Billington, Jonathan;
Kristensen, Lars M.:
Experimenting with Progress Mappings for the Sweep-Line Analysis of the Internet Open Trading Protocol.
2004.
-
Billington, Jonathan;
Gallasch, Guy Edward;
Han, Bing:
A Coloured Petri Net Approach to Protocol Verification.
2004.
-
Billington, Jonathan;
Gallasch, Guy Edward:
How Stop and Wait Protocols Can Fail over the Internet.
2003.
-
Gallasch, Guy Edward;
Kristensen, Lars Michael;
Mailund, Thomas:
Sweep-Line State Space Exploration for Coloured Petri Nets.
2002.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Are you trying to get in contact with an author? Try our
database of Petri net researchers.
Back to the Petri Nets Bibliography