For the most recent entries see the
Petri Nets Newsletter.
Liu, L.
-
Liu, Lin;
Billington, Jonathan:
Verification of the Capability Exchange Signalling protocol.
2007.
-
Liu, Li;
Wang, Yuanzhuo;
Yang, Yang;
Liu, Songtao:
Utility-based On-demand Heuristic Strategy to Grid Computing.
2005.
-
Liu, L.;
Billington, J.:
Obtaining the Service Language for H.245's Multimedia Capability Exchange Signalling Protocol: the Final Step.
2005.
-
Liu, Lin;
Billington, Jonathan:
Reducing Parametric Automata: A Multimedia Protocol Service Case Study.
2004.
-
Liu, Lin;
Billington, Jonathan:
Tackling the Infinite State Space of a Multimedia Control Protocol Service Specification.
2002.
-
Liu, Lin;
Billington, Jonathan:
Modelling and Analysis of the CES Protocol of H.245.
2001.
-
Liu, Lin;
Billington, Jonathan:
Modelling and Analysis of Internet Multimedia Protocols - Methodology and Initial Results.
2001.
-
Yuan, Jun;
Liu, Lilin;
Dong, Zhanqiu:
Performance Analysis of a Connection Management Scheme in IWU Interconnecting LANs across ATM Networks.
1996.
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