I agree that this site is using cookies. You can find further informations here.
X
Billington, Jonathan
83  results:
Search for persons X
?
1

Transactions on Petri nets and other models of concurrency ..

Lecture notes in computer science ; 5800

Jensen, Kurt ; Billington, Jonathan ; Koutny, Maciej , 2009
Link: http://dx.doi.org/10.100..
 
?
2

Transactions on Petri nets and other models of concurrency ..

Lecture notes in computer science ; 5100

Jensen, Kurt ; Billington, Jonathan ; Aalst, Wil van der , 2008
Link: http://dx.doi.org/10.100..
 
?
3

Parametric Language Analysis of the Class of Stop-and-Wait ..:

, In: Applications and Theory of Petri Nets; Lecture Notes in Computer Science,
Gallasch, Guy Edward ; Billington, Jonathan - p. 191-210 , 2008
Link: https://doi.org/10.1007/..
 
?
4

Analysis of the Datagram Congestion Control Protocol's conn..:

Vanit-Anunchai, Somsak ; Billington, Jonathan ; Gallasch, Guy Edward
International Journal on Software Tools for Technology Transfer.  10 (2007)  1 - p. 29-56 , 2007
Link: https://doi.org/10.1007/..
 
?
5

Verification of the Capability Exchange Signalling protocol:

Liu, Lin ; Billington, Jonathan
International Journal on Software Tools for Technology Transfer.  9 (2007)  3-4 - p. 305-326 , 2007
Link: https://doi.org/10.1007/..
 
?
6

Modelling and analysing the functional behaviour of TCP's c..:

Billington, Jonathan ; Han, Bing
International Journal on Software Tools for Technology Transfer.  9 (2007)  3-4 - p. 269-304 , 2007
Link: https://doi.org/10.1007/..
 
?
7

Modelling defence logistics networks:

Gallasch, Guy Edward ; Lilith, Nimrod ; Billington, Jonathan...
International Journal on Software Tools for Technology Transfer.  10 (2007)  1 - p. 75-93 , 2007
Link: https://doi.org/10.1007/..
 
?
8

Checking safety properties on-the-fly with the sweep-line m..:

Gallasch, Guy Edward ; Billington, Jonathan ; Vanit-Anunchai, Somsak.
International Journal on Software Tools for Technology Transfer.  9 (2007)  3-4 - p. 371-391 , 2007
Link: https://doi.org/10.1007/..
 
?
9

Approximate closed-form aggregation of a fork-join structur..:

, In: Proceedings of the 1st international conference on Performance evaluation methodolgies and tools,
Lilith, Nimrod ; Billington, Jonathan ; Freiheit, Jörn - p. 32-es , 2006
Link: https://dl.acm.org/doi/1..
 
?
10

An improved formal specification of the Internet Open Tradi..:

, In: Proceedings of the 2004 ACM symposium on Applied computing,
Ouyang, Chun ; Billington, Jonathan - p. 779-783 , 2004
Link: https://dl.acm.org/doi/1..
 
?
11

A Coloured Petri Net Approach to Formalising and Analysing ..:

Villapol, María E. ; Billington, Jonathan
CLEI Electronic Journal.  6 (2003)  1 - p. , 2003
Link: https://doi.org/10.19153..
 
?
12

6.5.3 An Approach to Generalising the State Space of a Dist..:

Gordon, Steven ; Kristensen, Lars ; Billington, Jonathan
INCOSE International Symposium.  11 (2001)  1 - p. 790-797 , 2001
Link: https://doi.org/10.1002/..
 
?
13

8.3.1 A New Graphical Systems Engineering International Sta..:

Billington, Jonathan
INCOSE International Symposium.  11 (2001)  1 - p. 529-536 , 2001
Link: https://doi.org/10.1002/..
 
?
14

3.2.4 Modelling and Analysis of Internet Multimedia Protoco..:

Liu, Lin ; Billington, Jonathan
INCOSE International Symposium.  11 (2001)  1 - p. 258-265 , 2001
Link: https://doi.org/10.1002/..
 
?
15

9.1.6 Generation of a Service Language for the Resource Res..:

Villapol, María E. ; Billington, Jonathan
INCOSE International Symposium.  11 (2001)  1 - p. 1239-1246 , 2001
Link: https://doi.org/10.1002/..
 
1-15