Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Jonathan Billington
@article{DBLP:journals/topnoc/ArnoldB12,
author = {Sonya Arnold and
Jonathan Billington},
title = {An Initial Coloured Petri Net Model of the Hypertext Transfer Protocol
Operating over the Transmission Control Protocol},
journal = {Trans. Petri Nets Other Model. Concurr.},
volume = {6},
pages = {226--250},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-35179-2\_10},
doi = {10.1007/978-3-642-35179-2\_10},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/topnoc/ArnoldB12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/BillingtonG11,
author = {Jonathan Billington and
Guy Edward Gallasch},
editor = {Lars Michael Kristensen and
Laure Petrucci},
title = {On Parametric Steady State Analysis of a Generalized Stochastic Petri
Net with a Fork-Join Subnet},
booktitle = {Applications and Theory of Petri Nets - 32nd International Conference,
{PETRI} {NETS} 2011, Newcastle, UK, June 20-24, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6709},
pages = {268--287},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21834-7\_15},
doi = {10.1007/978-3-642-21834-7\_15},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/apn/BillingtonG11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/GallaschB10,
author = {Guy Edward Gallasch and
Jonathan Billington},
editor = {Ahmed Bouajjani and
Wei{-}Ngan Chin},
title = {A Study of the Convergence of Steady State Probabilities in a Closed
Fork-Join Network},
booktitle = {Automated Technology for Verification and Analysis - 8th International
Symposium, {ATVA} 2010, Singapore, September 21-24, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6252},
pages = {143--157},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15643-4\_12},
doi = {10.1007/978-3-642-15643-4\_12},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/atva/GallaschB10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/BillingtonG10,
author = {Jonathan Billington and
Guy Edward Gallasch},
editor = {Jin Song Dong and
Huibiao Zhu},
title = {Closed Form Approximations for Steady State Probabilities of a Controlled
Fork-Join Network},
booktitle = {Formal Methods and Software Engineering - 12th International Conference
on Formal Engineering Methods, {ICFEM} 2010, Shanghai, China, November
17-19, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6447},
pages = {420--435},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16901-4\_28},
doi = {10.1007/978-3-642-16901-4\_28},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/icfem/BillingtonG10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/BillingtonVG09,
author = {Jonathan Billington and
Somsak Vanit{-}Anunchai and
Guy Edward Gallasch},
title = {Parameterised Coloured Petri Net Channel Models},
journal = {Trans. Petri Nets Other Model. Concurr.},
volume = {3},
pages = {71--97},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04856-2\_4},
doi = {10.1007/978-3-642-04856-2\_4},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/topnoc/BillingtonVG09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/BillingtonY09,
author = {Jonathan Billington and
Cong Yuan},
title = {On Modelling and Analysing the Dynamic {MANET} On-Demand {(DYMO)}
Routing Protocol},
journal = {Trans. Petri Nets Other Model. Concurr.},
volume = {3},
pages = {98--126},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04856-2\_5},
doi = {10.1007/978-3-642-04856-2\_5},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/topnoc/BillingtonY09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/LiuB09,
author = {Lin Liu and
Jonathan Billington},
editor = {David Lee and
Ant{\'{o}}nia Lopes and
Arnd Poetzsch{-}Heffter},
title = {Recursive Parametric Automata and epsilon-Removal},
booktitle = {Formal Techniques for Distributed Systems, Joint 11th {IFIP} {WG}
6.1 International Conference {FMOODS} 2009 and 29th {IFIP} {WG} 6.1
International Conference {FORTE} 2009, Lisboa, Portugal, June 9-12,
2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5522},
pages = {90--105},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02138-1\_6},
doi = {10.1007/978-3-642-02138-1\_6},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forte/LiuB09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/topnoc/2009-3,
editor = {Kurt Jensen and
Jonathan Billington and
Maciej Koutny},
title = {Transactions on Petri Nets and Other Models of Concurrency {III}},
series = {Lecture Notes in Computer Science},
volume = {5800},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04856-2},
doi = {10.1007/978-3-642-04856-2},
isbn = {978-3-642-04854-8},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/topnoc/2009-3.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/BillingtonV08,
author = {Jonathan Billington and
Somsak Vanit{-}Anunchai},
title = {Coloured Petri Net Modelling of an Evolving Internet Standard: the
Datagram Congestion Control Protocol},
journal = {Fundam. Informaticae},
volume = {88},
number = {3},
pages = {357--385},
year = {2008},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi88-3-07},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/BillingtonV08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/Vanit-AnunchaiBG08,
author = {Somsak Vanit{-}Anunchai and
Jonathan Billington and
Guy Edward Gallasch},
title = {Analysis of the Datagram Congestion Control Protocol's connection
management procedures using the sweep-line method},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {10},
number = {1},
pages = {29--56},
year = {2008},
url = {https://doi.org/10.1007/s10009-007-0050-1},
doi = {10.1007/S10009-007-0050-1},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/Vanit-AnunchaiBG08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/GallaschLBZBF08,
author = {Guy Edward Gallasch and
Nimrod Lilith and
Jonathan Billington and
Lin Zhang and
Axel Bender and
Benjamin Francis},
title = {Modelling defence logistics networks},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {10},
number = {1},
pages = {75--93},
year = {2008},
url = {https://doi.org/10.1007/s10009-007-0052-z},
doi = {10.1007/S10009-007-0052-Z},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/GallaschLBZBF08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/GallaschB08,
author = {Guy Edward Gallasch and
Jonathan Billington},
editor = {Kees M. van Hee and
R{\"{u}}diger Valk},
title = {Parametric Language Analysis of the Class of Stop-and-Wait Protocols},
booktitle = {Applications and Theory of Petri Nets, 29th International Conference,
{PETRI} {NETS} 2008, Xi'an, China, June 23-27, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5062},
pages = {191--210},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-68746-7\_15},
doi = {10.1007/978-3-540-68746-7\_15},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/apn/GallaschB08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/BillingtonGG08,
author = {Jonathan Billington and
Amar Kumar Gupta and
Guy Edward Gallasch},
editor = {Kenji Suzuki and
Teruo Higashino and
Keiichi Yasumoto and
Khaled El{-}Fakih},
title = {Modelling and Analysing the Contract Net Protocol - Extension Using
Coloured Petri Nets},
booktitle = {Formal Techniques for Networked and Distributed Systems - {FORTE}
2008, 28th {IFIP} {WG} 6.1 International Conference, Tokyo, Japan,
June 10-13, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5048},
pages = {169--184},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-68855-6\_11},
doi = {10.1007/978-3-540-68855-6\_11},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/forte/BillingtonGG08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/simutools/GallaschFMB08,
author = {Guy Edward Gallasch and
Benjamin Francis and
Christopher Moon and
Jonathan Billington},
editor = {S{\'{a}}ndor Moln{\'{a}}r and
John R. Heath and
Olivier Dalle and
Gabriel A. Wainer},
title = {Modelling personnel within a defence logistics maintenance process},
booktitle = {Proceedings of the 1st International Conference on Simulation Tools
and Techniques for Communications, Networks and Systems {\&} Workshops,
SimuTools 2008, Marseille, France, March 3-7, 2008},
pages = {18},
publisher = {{ICST/ACM}},
year = {2008},
url = {https://doi.org/10.4108/ICST.SIMUTOOLS2008.3013},
doi = {10.4108/ICST.SIMUTOOLS2008.3013},
timestamp = {Tue, 27 Nov 2018 10:40:37 +0100},
biburl = {https://dblp.org/rec/conf/simutools/GallaschFMB08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/simutools/BillingtonS08,
author = {Jonathan Billington and
Smit Saboo},
editor = {S{\'{a}}ndor Moln{\'{a}}r and
John R. Heath and
Olivier Dalle and
Gabriel A. Wainer},
title = {An investigation of credit-based flow control protocols},
booktitle = {Proceedings of the 1st International Conference on Simulation Tools
and Techniques for Communications, Networks and Systems {\&} Workshops,
SimuTools 2008, Marseille, France, March 3-7, 2008},
pages = {34},
publisher = {{ICST/ACM}},
year = {2008},
url = {https://doi.org/10.4108/ICST.SIMUTOOLS2008.2998},
doi = {10.4108/ICST.SIMUTOOLS2008.2998},
timestamp = {Tue, 27 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/simutools/BillingtonS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/acsd/2008,
editor = {Jonathan Billington and
Zhenhua Duan and
Maciej Koutny},
title = {8th International Conference on Application of Concurrency to System
Design {(ACSD} 2008), Xi'an, China, June 23-27, 2008},
publisher = {{IEEE}},
year = {2008},
url = {https://ieeexplore.ieee.org/xpl/conhome/4562770/proceeding},
isbn = {978-1-4244-1838-1},
timestamp = {Wed, 16 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/acsd/2008.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/topnoc/2008-1,
editor = {Kurt Jensen and
Wil M. P. van der Aalst and
Jonathan Billington},
title = {Transactions on Petri Nets and Other Models of Concurrency {I}},
series = {Lecture Notes in Computer Science},
volume = {5100},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-89287-8},
doi = {10.1007/978-3-540-89287-8},
isbn = {978-3-540-89286-1},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/topnoc/2008-1.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/BillingtonH07,
author = {Jonathan Billington and
Bing Han},
title = {Formalising TCP's Data Transfer Service Language: {A} Symbolic Automaton
and its Properties},
journal = {Fundam. Informaticae},
volume = {80},
number = {1-3},
pages = {49--74},
year = {2007},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi80-1-3-04},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/BillingtonH07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/BillingtonH07,
author = {Jonathan Billington and
Bing Han},
title = {Modelling and analysing the functional behaviour of TCP's connection
management procedures},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {9},
number = {3-4},
pages = {269--304},
year = {2007},
url = {https://doi.org/10.1007/s10009-007-0034-1},
doi = {10.1007/S10009-007-0034-1},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/BillingtonH07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/LiuB07,
author = {Lin Liu and
Jonathan Billington},
title = {Verification of the Capability Exchange Signalling protocol},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {9},
number = {3-4},
pages = {305--326},
year = {2007},
url = {https://doi.org/10.1007/s10009-007-0037-y},
doi = {10.1007/S10009-007-0037-Y},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/LiuB07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/GallaschBVK07,
author = {Guy Edward Gallasch and
Jonathan Billington and
Somsak Vanit{-}Anunchai and
Lars Michael Kristensen},
title = {Checking safety properties on-the-fly with the sweep-line method},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {9},
number = {3-4},
pages = {371--391},
year = {2007},
url = {https://doi.org/10.1007/s10009-007-0031-4},
doi = {10.1007/S10009-007-0031-4},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/GallaschBVK07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/Vanit-AnunchaiB07,
author = {Somsak Vanit{-}Anunchai and
Jonathan Billington},
editor = {Jetty Kleijn and
Alexandre Yakovlev},
title = {Modelling the Datagram Congestion Control Protocol's Connection Management
and Synchronization Procedures},
booktitle = {Petri Nets and Other Models of Concurrency - {ICATPN} 2007, 28th International
Conference on Applications and Theory of Petri Nets and Other Models
of Concurrency, {ICATPN} 2007, Siedlce, Poland, June 25-29, 2007,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4546},
pages = {423--444},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73094-1\_25},
doi = {10.1007/978-3-540-73094-1\_25},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/Vanit-AnunchaiB07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdcat/LiuB07,
author = {Lin Liu and
Jonathan Billington},
editor = {David S. Munro and
Hong Shen and
Quan Z. Sheng and
Henry Detmold and
Katrina Falkner and
Cruz Izu and
Paul D. Coddington and
Bradley Alexander and
Si{-}Qing Zheng},
title = {Symbolic Language Representations for Parametric Verification of the
Revised Capability Exchange Signalling Protocol},
booktitle = {Eighth International Conference on Parallel and Distributed Computing,
Applications and Technologies {(PDCAT} 2007), 3-6 December 2007, Adelaide,
Australia},
pages = {480--487},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/PDCAT.2007.68},
doi = {10.1109/PDCAT.2007.68},
timestamp = {Mon, 17 Jul 2023 13:04:30 +0200},
biburl = {https://dblp.org/rec/conf/pdcat/LiuB07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mascots/Vanit-AnunchaiB06,
author = {Somsak Vanit{-}Anunchai and
Jonathan Billington},
title = {Effect of Sequence Number Wrap on {DCCP} Connection Establishment},
booktitle = {14th International Symposium on Modeling, Analysis, and Simulation
of Computer and Telecommunication Systems {(MASCOTS} 2006), 11-14
September 2006, Monterey, California, {USA}},
pages = {345--354},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/MASCOTS.2006.21},
doi = {10.1109/MASCOTS.2006.21},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mascots/Vanit-AnunchaiB06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/GallaschB06,
author = {Guy Edward Gallasch and
Jonathan Billington},
editor = {Antti Valmari},
title = {A Parametric State Space for the Analysis of the Infinite Class of
Stop-and-Wait Protocols},
booktitle = {Model Checking Software, 13th International {SPIN} Workshop, Vienna,
Austria, March 30 - April 1, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3925},
pages = {201--218},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11691617\_12},
doi = {10.1007/11691617\_12},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/spin/GallaschB06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/valuetools/LilithBF06,
author = {Nimrod Lilith and
Jonathan Billington and
J{\"{o}}rn Freiheit},
editor = {Luciano Lenzini and
Rene L. Cruz},
title = {Approximate closed-form aggregation of a fork-join structure in generalised
stochastic petri nets},
booktitle = {Proceedings of the 1st International Conference on Performance Evaluation
Methodolgies and Tools, {VALUETOOLS} 2006, Pisa, Italy, October 11-13,
2006},
series = {{ACM} International Conference Proceeding Series},
volume = {180},
pages = {32},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1190095.1190136},
doi = {10.1145/1190095.1190136},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/valuetools/LilithBF06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/BillingtonGP05,
author = {Jonathan Billington and
Guy Edward Gallasch and
Laure Petrucci},
title = {Verification of the Class of Stop-and-Wait Protocols Modelled by Coloured
Petri Nets},
journal = {Nord. J. Comput.},
volume = {12},
number = {3},
pages = {251--274},
year = {2005},
timestamp = {Wed, 03 May 2006 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/njc/BillingtonGP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/HanB05,
author = {Bing Han and
Jonathan Billington},
editor = {Gianfranco Ciardo and
Philippe Darondeau},
title = {Termination Properties of TCP's Connection Management Procedures},
booktitle = {Applications and Theory of Petri Nets 2005, 26th International Conference,
{ICATPN} 2005, Miami, USA, June 20-25, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3536},
pages = {228--249},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11494744\_14},
doi = {10.1007/11494744\_14},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/apn/HanB05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/GallaschB05,
author = {Guy Edward Gallasch and
Jonathan Billington},
editor = {Doron A. Peled and
Yih{-}Kuen Tsay},
title = {Using Parametric Automata for the Verification of the Stop-and-Wait
Class of Protocols},
booktitle = {Automated Technology for Verification and Analysis, Third International
Symposium, {ATVA} 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3707},
pages = {457--473},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11562948\_34},
doi = {10.1007/11562948\_34},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/atva/GallaschB05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/Vanit-AnunchaiBK05,
author = {Somsak Vanit{-}Anunchai and
Jonathan Billington and
Tul Kongprakaiwoot},
editor = {Farn Wang},
title = {Discovering Chatter and Incompleteness in the Datagram Congestion
Control Protocol},
booktitle = {Formal Techniques for Networked and Distributed Systems - {FORTE}
2005, 25th {IFIP} {WG} 6.1 International Conference, Taipei, Taiwan,
October 2-5, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3731},
pages = {143--158},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11562436\_12},
doi = {10.1007/11562436\_12},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forte/Vanit-AnunchaiBK05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/GallaschHB05,
author = {Guy Edward Gallasch and
Bing Han and
Jonathan Billington},
editor = {Kung{-}Kiu Lau and
Richard Banach},
title = {Sweep-Line Analysis of {TCP} Connection Management},
booktitle = {Formal Methods and Software Engineering, 7th International Conference
on Formal Engineering Methods, {ICFEM} 2005, Manchester, UK, November
1-4, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3785},
pages = {156--172},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11576280\_12},
doi = {10.1007/11576280\_12},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/icfem/GallaschHB05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsmc/BillingtonGKM04,
author = {Jonathan Billington and
Guy Edward Gallasch and
Lars Michael Kristensen and
Thomas Mailund},
title = {Exploiting equivalence reduction and the sweep-line method for detecting
terminal states},
journal = {{IEEE} Trans. Syst. Man Cybern. Part {A}},
volume = {34},
number = {1},
pages = {23--37},
year = {2004},
url = {https://doi.org/10.1109/TSMCA.2003.820582},
doi = {10.1109/TSMCA.2003.820582},
timestamp = {Mon, 25 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tsmc/BillingtonGKM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsc/BillingtonH04,
author = {Jonathan Billington and
Bing Han},
editor = {Vladimir Estivill{-}Castro},
title = {Closed Form Expressions for the State Space of TCP's Data Transfer
Service Operating over Unbounded Channels},
booktitle = {Computer Science 2004, Twenty-Seveth Australasian Computer Science
Conference (ACSC2004), Dunedin, New Zealand, January 2004},
series = {{CRPIT}},
volume = {26},
pages = {31--39},
publisher = {Australian Computer Society},
year = {2004},
url = {http://crpit.scem.westernsydney.edu.au/abstracts/CRPITV26Billington.html},
timestamp = {Wed, 10 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsc/BillingtonH04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/LiuB04,
author = {Lin Liu and
Jonathan Billington},
editor = {Farn Wang},
title = {Reducing Parametric Automata: {A} Multimedia Protocol Service Case
Study},
booktitle = {Automated Technology for Verification and Analysis: Second International
Conference, {ATVA} 2004, Taipei, Taiwan, ROC, October 31-November
3, 2004. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3299},
pages = {483--486},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30476-0\_41},
doi = {10.1007/978-3-540-30476-0\_41},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atva/LiuB04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/FreiheitB04,
author = {J{\"{o}}rn Freiheit and
Jonathan Billington},
editor = {J{\"{o}}rg Desel and
Barbara Pernici and
Mathias Weske},
title = {Using TimeNET to Evaluate Operational Planning Processes},
booktitle = {Business Process Management: Second International Conference, {BPM}
2004, Potsdam, Germany, June 17-18, 2004. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3080},
pages = {17--32},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-25970-1\_2},
doi = {10.1007/978-3-540-25970-1\_2},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/bpm/FreiheitB04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/OuyangB04,
author = {Chun Ouyang and
Jonathan Billington},
editor = {Manuel N{\'{u}}{\~{n}}ez and
Zakaria Maamar and
Fernando L. Pelayo and
Key Pousttchi and
Fernando Rubio},
title = {Formal Analysis of the Internet Open Trading Protocol},
booktitle = {Applying Formal Methods: Testing, Performance and M/ECommerce, {FORTE}
2004 Workshops The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2,
2004},
series = {Lecture Notes in Computer Science},
volume = {3236},
pages = {1--15},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30233-9\_1},
doi = {10.1007/978-3-540-30233-9\_1},
timestamp = {Wed, 17 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/forte/OuyangB04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mmm/LiuB04,
author = {Lin Liu and
Jonathan Billington},
editor = {Yi{-}Ping Phoebe Chen},
title = {Obtaining the Service Language for H.245's Multimedia Capability Exchange
Signalling Protocol: the Final Step},
booktitle = {10th International Multimedia Modeling Conference {(MMM} 2004), 5-7
January 2004, Brisbane, Australia},
pages = {323},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/MULMM.2004.1265003},
doi = {10.1109/MULMM.2004.1265003},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mmm/LiuB04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/OuyangB04,
author = {Chun Ouyang and
Jonathan Billington},
editor = {Hisham Haddad and
Andrea Omicini and
Roger L. Wainwright and
Lorie M. Liebrock},
title = {An improved formal specification of the Internet Open Trading Pprotocol},
booktitle = {Proceedings of the 2004 {ACM} Symposium on Applied Computing (SAC),
Nicosia, Cyprus, March 14-17, 2004},
pages = {779--783},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/967900.968061},
doi = {10.1145/967900.968061},
timestamp = {Wed, 17 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sac/OuyangB04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cleiej/VillapolB03,
author = {Mar{\'{\i}}a E. Villapol and
Jonathan Billington},
title = {A Coloured Petri Net Approach to Formalising and Analysing the Resource
Reservation Protocol},
journal = {{CLEI} Electron. J.},
volume = {6},
number = {1},
year = {2003},
url = {https://doi.org/10.19153/cleiej.6.1.1},
doi = {10.19153/CLEIEJ.6.1.1},
timestamp = {Tue, 21 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cleiej/VillapolB03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ac/BillingtonGH03,
author = {Jonathan Billington and
Guy Edward Gallasch and
Bing Han},
editor = {J{\"{o}}rg Desel and
Wolfgang Reisig and
Grzegorz Rozenberg},
title = {A Coloured Petri Net Approach to Protocol Verification},
booktitle = {Lectures on Concurrency and Petri Nets, Advances in Petri Nets [This
tutorial volume originates from the 4th Advanced Course on Petri Nets,
{ACPN} 2003, held in Eichst{\"{a}}tt, Germany in September 2003.
In addition to lectures given at {ACPN} 2003, additional chapters
have been commissioned]},
series = {Lecture Notes in Computer Science},
volume = {3098},
pages = {210--290},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-27755-2\_6},
doi = {10.1007/978-3-540-27755-2\_6},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/ac/BillingtonGH03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsc/BillingtonH03,
author = {Jonathan Billington and
Bing Han},
editor = {Michael J. Oudshoorn},
title = {On Defining the Service Provided by {TCP}},
booktitle = {Computer Science 2003, Twenty-Sixth Australasian Computer Science
Conference (ACSC2003), Adelaide, South Australia, February 2003},
series = {{CRPIT}},
volume = {16},
pages = {129--138},
publisher = {Australian Computer Society},
year = {2003},
url = {http://crpit.scem.westernsydney.edu.au/abstracts/CRPITV16Billington.html},
timestamp = {Wed, 10 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsc/BillingtonH03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/PetrucciBKQ03,
author = {Laure Petrucci and
Jonathan Billington and
Lars Michael Kristensen and
Zahid H. Qureshi},
title = {Developing a Formal Specification for the Mission System of a Maritime
Surveillance Aircraft},
booktitle = {3rd International Conference on Application of Concurrency to System
Design {(ACSD} 2003), 18-20 June 2003, Guimaraes, Portugal},
pages = {92--101},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/CSD.2003.1207703},
doi = {10.1109/CSD.2003.1207703},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/PetrucciBKQ03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/VillapolB03,
author = {Mar{\'{\i}}a E. Villapol and
Jonathan Billington},
editor = {Wil M. P. van der Aalst and
Eike Best},
title = {Analysing Properties of the Resource Reservation Protocol},
booktitle = {Applications and Theory of Petri Nets 2003, 24th International Conference,
{ICATPN} 2003, Eindhoven, The Netherlands, June 23-27, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2679},
pages = {377--396},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-44919-1\_24},
doi = {10.1007/3-540-44919-1\_24},
timestamp = {Sat, 19 Oct 2019 20:09:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/VillapolB03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/BillingtonCHKKPPSW03,
author = {Jonathan Billington and
S{\o}ren Christensen and
Kees M. van Hee and
Ekkart Kindler and
Olaf Kummer and
Laure Petrucci and
Reinier Post and
Christian Stehno and
Michael Weber},
editor = {Wil M. P. van der Aalst and
Eike Best},
title = {The Petri Net Markup Language: Concepts, Technology, and Tools},
booktitle = {Applications and Theory of Petri Nets 2003, 24th International Conference,
{ICATPN} 2003, Eindhoven, The Netherlands, June 23-27, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2679},
pages = {483--505},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-44919-1\_31},
doi = {10.1007/3-540-44919-1\_31},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/BillingtonCHKKPPSW03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecweb/OuyangB03,
author = {Chun Ouyang and
Jonathan Billington},
editor = {Kurt Bauknecht and
A Min Tjoa and
Gerald Quirchmayr},
title = {On Verifying the Internet Open Trading Protocol},
booktitle = {E-Commerce and Web Technologies, 4th International Conference, EC-Web,
Prague, Czech Republic, September 2-5, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2738},
pages = {292--302},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45229-4\_29},
doi = {10.1007/978-3-540-45229-4\_29},
timestamp = {Wed, 17 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecweb/OuyangB03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/BillingtonG03,
author = {Jonathan Billington and
Guy Edward Gallasch},
editor = {Hartmut K{\"{o}}nig and
Monika Heiner and
Adam Wolisz},
title = {How Stop and Wait Protocols Can Fail over the Internet},
booktitle = {Formal Techniques for Networked and Distributed Systems - {FORTE}
2003, 23rd {IFIP} {WG} 6.1 International Conference, Berlin, Germany,
September 29 - October 2, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2767},
pages = {209--223},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39979-7\_14},
doi = {10.1007/978-3-540-39979-7\_14},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/forte/BillingtonG03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/FreiheitB03,
author = {J{\"{o}}rn Freiheit and
Jonathan Billington},
editor = {Jin Song Dong and
Jim Woodcock},
title = {New Developments in Closed-Form Computation for {GSPN} Aggregation},
booktitle = {Formal Methods and Software Engineering, 5th International Conference
on Formal Engineering Methods, {ICFEM} 2003, Singapore, November 5-7,
2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2885},
pages = {471--490},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39893-6\_27},
doi = {10.1007/978-3-540-39893-6\_27},
timestamp = {Fri, 17 Feb 2023 09:02:01 +0100},
biburl = {https://dblp.org/rec/conf/icfem/FreiheitB03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/GordonKB02,
author = {Steven Gordon and
Lars Michael Kristensen and
Jonathan Billington},
editor = {Javier Esparza and
Charles Lakos},
title = {Verification of a Revised {WAP} Wireless Transaction Protocol},
booktitle = {Applications and Theory of Petri Nets 2002, 23rd International Conference,
{ICATPN} 2002, Adelaide, Australia, June 24-30, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2360},
pages = {182--202},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-48068-4\_12},
doi = {10.1007/3-540-48068-4\_12},
timestamp = {Fri, 09 Apr 2021 18:41:09 +0200},
biburl = {https://dblp.org/rec/conf/apn/GordonKB02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/LiuB02,
author = {Lin Liu and
Jonathan Billington},
editor = {Javier Esparza and
Charles Lakos},
title = {Tackling the Infinite State Space of a Multimedia Control Protocol
Service Specification},
booktitle = {Applications and Theory of Petri Nets 2002, 23rd International Conference,
{ICATPN} 2002, Adelaide, Australia, June 24-30, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2360},
pages = {273--293},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-48068-4\_17},
doi = {10.1007/3-540-48068-4\_17},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/LiuB02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/OuyangKB02,
author = {Chun Ouyang and
Lars Michael Kristensen and
Jonathan Billington},
editor = {Javier Esparza and
Charles Lakos},
title = {A Formal Service Specification for the Internet Open Trading Protocol},
booktitle = {Applications and Theory of Petri Nets 2002, 23rd International Conference,
{ICATPN} 2002, Adelaide, Australia, June 24-30, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2360},
pages = {352--373},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-48068-4\_21},
doi = {10.1007/3-540-48068-4\_21},
timestamp = {Wed, 17 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apn/OuyangKB02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecweb/OuyangKB02,
author = {Chun Ouyang and
Lars Michael Kristensen and
Jonathan Billington},
editor = {Kurt Bauknecht and
A Min Tjoa and
Gerald Quirchmayr},
title = {A Formal and Executable Specification of the Internet Open Trading
Protocol},
booktitle = {E-Commerce and Web Technologies, Third International Conference, EC-Web
2002, Aix-en-Provence, France, September 2-6, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2455},
pages = {377--387},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45705-4\_39},
doi = {10.1007/3-540-45705-4\_39},
timestamp = {Wed, 17 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecweb/OuyangKB02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmoods/SinghB02,
author = {Abhishek Singh and
Jonathan Billington},
editor = {Bart Jacobs and
Arend Rensink},
title = {A Formal Service Specification for {IIOP} based on {ISO/IEC} 14752},
booktitle = {Formal Methods for Open Object-Based Distributed Systems V, {IFIP}
{TC6/WG6.1} Fifth International Conference on Formal Methods for Open
Object-Based Distributed Systems {(FMOODS} 2002), March 20-22, 2002,
Enschede, The Netherlands},
series = {{IFIP} Conference Proceedings},
volume = {209},
pages = {111--125},
publisher = {Kluwer},
year = {2002},
timestamp = {Thu, 09 Jul 2015 16:49:48 +0200},
biburl = {https://dblp.org/rec/conf/fmoods/SinghB02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/GordonB00,
author = {Steven Gordon and
Jonathan Billington},
editor = {Mogens Nielsen and
Dan Simpson},
title = {Analysing the {WAP} Class 2 Wireless Transaction Protocol Using Coloured
Petri Nets},
booktitle = {Application and Theory of Petri Nets 2000, 21st International Conference,
{ICATPN} 2000, Aarhus, Denmark, June 26-30, 2000, Proceeding},
series = {Lecture Notes in Computer Science},
volume = {1825},
pages = {207--226},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44988-4\_13},
doi = {10.1007/3-540-44988-4\_13},
timestamp = {Sat, 07 Sep 2019 11:59:23 +0200},
biburl = {https://dblp.org/rec/conf/apn/GordonB00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/TokmakoffB99,
author = {Andrew Tokmakoff and
Jonathan Billington},
editor = {Susanna Donatelli and
H. C. M. Kleijn},
title = {An Approach to the Analysis of Interworking Traders},
booktitle = {Application and Theory of Petri Nets 1999, 20th International Conference,
{ICATPN} '99, Williamsburg, Virginia, USA, June 21-25, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1639},
pages = {127--146},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48745-X\_9},
doi = {10.1007/3-540-48745-X\_9},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/apn/TokmakoffB99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icon/VillapolB99,
author = {Mar{\'{\i}}a E. Villapol and
Jonathan Billington},
title = {{RSVP} for {LEO} satellites},
booktitle = {Proceedings of the {IEEE} International Conference on Networks 1999,
{ICON} 1999, Brisbane, Queensland, Australia, September 28 - October
1, 1999},
pages = {295--302},
publisher = {{IEEE}},
year = {1999},
url = {https://doi.org/10.1109/ICON.1999.796191},
doi = {10.1109/ICON.1999.796191},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icon/VillapolB99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mda/GordonB99,
author = {Steven Gordon and
Jonathan Billington},
editor = {Hong Va Leong and
Wang{-}Chien Lee and
Bo Li and
Li Yin},
title = {Modelling the {WAP} Transaction Service using Coloured Petri Nets},
booktitle = {Mobile Data Access, First International Conference, MDA'99, Hong Kong,
China, December 16-17, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1748},
pages = {109--118},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-46669-X\_10},
doi = {10.1007/3-540-46669-X\_10},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/mda/GordonB99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/apn/1999cn,
editor = {Jonathan Billington and
Michel Diaz and
Grzegorz Rozenberg},
title = {Application of Petri Nets to Communication Networks, Advances in Petri
Nets},
series = {Lecture Notes in Computer Science},
volume = {1605},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/BFb0097770},
doi = {10.1007/BFB0097770},
isbn = {3-540-65870-X},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/1999cn.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/GordonB98,
author = {Steven Gordon and
Jonathan Billington},
title = {Analysing a Missile Simulator with Coloured Petri Nets},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {2},
number = {2},
pages = {144--159},
year = {1998},
url = {https://doi.org/10.1007/s100090050023},
doi = {10.1007/S100090050023},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/GordonB98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/comcom/TokmakoffB96,
author = {Andrew Tokmakoff and
Jonathan Billington},
title = {Coloured Petri net modelling of the {ODP} Trader for use in resource
discovery},
journal = {Comput. Commun.},
volume = {19},
number = {1},
pages = {39--48},
year = {1996},
url = {https://doi.org/10.1016/0140-3664(95)01039-4},
doi = {10.1016/0140-3664(95)01039-4},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/comcom/TokmakoffB96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ac/Billington96,
author = {Jonathan Billington},
editor = {Wolfgang Reisig and
Grzegorz Rozenberg},
title = {Protocol Specification Using P-Graphs, a Technique Based on Coloured
Petri Nets},
booktitle = {Lectures on Petri Nets {II:} Applications, Advances in Petri Nets,
the volumes are based on the Advanced Course on Petri Nets, held in
Dagstuhl, September 1996},
series = {Lecture Notes in Computer Science},
volume = {1492},
pages = {293--330},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-65307-4\_51},
doi = {10.1007/3-540-65307-4\_51},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/ac/Billington96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/FloreaniBD96,
author = {D. J. Floreani and
Jonathan Billington and
A. J. Dadej},
editor = {Jonathan Billington and
Wolfgang Reisig},
title = {Designing and Verifying a Communications Gateway Using Coloured Petri
Nets and Design/CPN},
booktitle = {Application and Theory of Petri Nets 1996, 17th International Conference,
Osaka, Japan, June 24-28, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1091},
pages = {153--171},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61363-3\_9},
doi = {10.1007/3-540-61363-3\_9},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/apn/FloreaniBD96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/apn/1996,
editor = {Jonathan Billington and
Wolfgang Reisig},
title = {Application and Theory of Petri Nets 1996, 17th International Conference,
Osaka, Japan, June 24-28, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1091},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61363-3},
doi = {10.1007/3-540-61363-3},
isbn = {3-540-61363-3},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/1996.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsqp/Billington94,
author = {Jonathan Billington},
editor = {Matthew K. O. Lee and
Ben{-}Zion Barta and
Peter Juliff},
title = {{ISO} Standards in Software Engineering},
booktitle = {Software Quality and Productivity: Theory, practice and training,
5-7 December 1994, City Polytechnic of Hong Kong Hong Kong},
series = {{IFIP} Conference Proceedings},
volume = {3},
pages = {189--192},
publisher = {Chapman {\&} Hall},
year = {1994},
timestamp = {Mon, 21 Oct 2002 11:06:25 +0200},
biburl = {https://dblp.org/rec/conf/icsqp/Billington94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/BillingtonWKP91,
author = {Jonathan Billington and
Geoffrey R. Wheeler and
Brian Keck and
Ken R. Parker},
editor = {Ken R. Parker and
Gordon A. Rose},
title = {Tool Demonstration: {FORSEE}},
booktitle = {Formal Description Techniques, IV, Proceedings of the {IFIP} {TC6/WG6.1}
Fourth International Conference on Formal Description Techniques for
Distributed Systems and Communication Protocols, {FORTE} '91, Sydney,
Australia, 19-22 November 1991},
series = {{IFIP} Transactions},
volume = {{C-2}},
pages = {457--461},
publisher = {North-Holland},
year = {1991},
timestamp = {Wed, 19 Jul 2006 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forte/BillingtonWKP91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/Billington89,
author = {Jonathan Billington},
title = {Extensions to Coloured Petri Nets},
booktitle = {Proceedings of the Third International Workshop on Petri Nets and
Performance Models, {PNPM} 1989, Kyoto, Japan, December 11-13, 1989},
pages = {61--70},
publisher = {{IEEE} Computer Society},
year = {1989},
url = {https://doi.org/10.1109/PNPM.1989.68540},
doi = {10.1109/PNPM.1989.68540},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pnpm/Billington89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/Billington89a,
author = {Jonathan Billington},
title = {Many-Sorted High-Level Nets},
booktitle = {Proceedings of the Third International Workshop on Petri Nets and
Performance Models, {PNPM} 1989, Kyoto, Japan, December 11-13, 1989},
pages = {166--179},
publisher = {{IEEE} Computer Society},
year = {1989},
url = {https://doi.org/10.1109/PNPM.1989.68550},
doi = {10.1109/PNPM.1989.68550},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pnpm/Billington89a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/BillingtonWW88,
author = {Jonathan Billington and
Geoffrey R. Wheeler and
Michael C. Wilbur{-}Ham},
title = {{PROTEAN:} {A} High-Level Petri Net Tool for the Specification and
Verification of Communication Protocols},
journal = {{IEEE} Trans. Software Eng.},
volume = {14},
number = {3},
pages = {301--316},
year = {1988},
url = {https://doi.org/10.1109/32.4651},
doi = {10.1109/32.4651},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/BillingtonWW88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/facs/Billington88,
author = {Jonathan Billington},
editor = {Charles Rattray},
title = {A High-Level Petri Net Specification of the Cambridge Fast Ring M-Access
Service},
booktitle = {Specification and Verification of Concurrent Systems {[BCS-FACS} Workshop,
6-8 July 1988, University of Stirling, Scotland, {UK]}},
series = {Workshops in Computing},
pages = {526--556},
publisher = {Springer},
year = {1988},
timestamp = {Wed, 19 Feb 2003 15:42:44 +0100},
biburl = {https://dblp.org/rec/conf/facs/Billington88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccc/WheelerBBW86,
author = {Geoffrey R. Wheeler and
Timothy J. Batten and
Jonathan Billington and
Michael C. Wilbur{-}Ham},
editor = {Paul J. K{\"{u}}hn},
title = {A Methodology for Protocol Engineering},
booktitle = {New Communication Services: {A} Challenge to Computer Technology,
Proceedings of the Eigth International Conference on Computer Communication,
Munich, Germany, September 15-19, 1986},
pages = {525--530},
publisher = {International Council for Computer Communication / Elsevier},
year = {1986},
timestamp = {Fri, 22 Jul 2016 09:50:51 +0200},
biburl = {https://dblp.org/rec/conf/iccc/WheelerBBW86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/WheelerWBG85,
author = {Geoffrey R. Wheeler and
Michael C. Wilbur{-}Ham and
Jonathan Billington and
J. A. Gilmour},
editor = {Grzegorz Rozenberg},
title = {Protocol analysis using numerical Petri nets},
booktitle = {Advances in Petri Nets 1985, covers the 6th European Workshop on Applications
and Theory in Petri Nets, Espoo, Finland in June 1985, selected papers},
series = {Lecture Notes in Computer Science},
volume = {222},
pages = {435--452},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/BFb0016225},
doi = {10.1007/BFB0016225},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/apn/WheelerWBG85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/Billington85,
author = {Jonathan Billington},
title = {On Specifying Performance Aspects of Protocol Services},
booktitle = {International Workshop on Timed Petri Nets, Torino, Italy, July 1-3,
1985},
pages = {288--295},
publisher = {{IEEE} Computer Society},
year = {1985},
timestamp = {Wed, 29 May 2002 15:58:20 +0200},
biburl = {https://dblp.org/rec/conf/pnpm/Billington85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pstv/BillingtonWB85,
author = {Jonathan Billington and
Michael C. Wilbur{-}Ham and
M. Y. Bearman},
editor = {Michel Diaz},
title = {Automated protocol verification},
booktitle = {Protocol Specification, Testing and Verification V, Proceedings of
the {IFIP} {WG6.1} Fifth International Conference on Protocol Specification,
Testing and Verification, Toulouse-Moissac, France, June 10-13, 1985},
pages = {59--70},
publisher = {North-Holland},
year = {1985},
timestamp = {Mon, 07 Jan 2002 16:07:03 +0100},
biburl = {https://dblp.org/rec/conf/pstv/BillingtonWB85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Billington83,
author = {Jonathan Billington},
editor = {Harry Rudin and
Colin H. West},
title = {Abstract Specification of the {ISO} Transport Service Definition using
Labelled Numerical Petri Nets},
booktitle = {Protocol Specification, Testing, and Verification, III, Proceedings
of the {IFIP} {WG} 6.1 Third International Workshop on Protocol Specification,
Testing and Verification, organized by {IBM} Research, R{\"{u}}schlikon,
Switzerland, 31 May - 2 June, 1983},
pages = {173--185},
publisher = {North-Holland},
year = {1983},
timestamp = {Sat, 07 Sep 2019 11:59:26 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Billington83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pstv/Billington82,
author = {Jonathan Billington},
editor = {Carl A. Sunshine},
title = {Specification of the Transport Service Using Numerical Petri Nets},
booktitle = {Protocol Specification, Testing and Verification, Proceedings of the
{IFIP} {WG6.1} Second International Workshop on Protocol Specification,
Testing and Verification, Idyllwild, CA, USA, 17-20 May, 1982},
pages = {77--100},
publisher = {North-Holland},
year = {1982},
timestamp = {Thu, 17 Jan 2002 16:10:28 +0100},
biburl = {https://dblp.org/rec/conf/pstv/Billington82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2023-09-28 03:34 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
