Jonathan Billington

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
On parametric steady state analysis of a generalized stochastic Petri net with a fork-join subnet Applications and Theory of Petri Nets	2011-06-29	Paper
A Study of the Convergence of Steady State Probabilities in a Closed Fork-Join Network Automated Technology for Verification and Analysis	2010-10-04	Paper
Coloured Petri net modelling of an evolving internet standard: the datagram congestion control protocol	2009-02-12	Paper
Parametric Language Analysis of the Class of Stop-and-Wait Protocols Applications and Theory of Petri Nets	2008-07-03	Paper
scientific article; zbMATH DE number 5286859 (Why is no real title available?)	2008-06-11	Paper
scientific article; zbMATH DE number 5222364 (Why is no real title available?)	2008-01-02	Paper
Model Checking Software Lecture Notes in Computer Science	2007-05-02	Paper
Automated Technology for Verification and Analysis Lecture Notes in Computer Science	2006-10-25	Paper
Automated Technology for Verification and Analysis Lecture Notes in Computer Science	2006-10-10	Paper
FAST verification of the class of stop-and-wait protocols modelled by coloured Petri nets	2006-02-06	Paper
Lectures on Concurrency and Petri Nets Lecture Notes in Computer Science	2005-12-23	Paper
Applications and Theory of Petri Nets 2005 Lecture Notes in Computer Science	2005-12-14	Paper
scientific article; zbMATH DE number 2088671 (Why is no real title available?)	2004-08-12	Paper
scientific article; zbMATH DE number 2088667 (Why is no real title available?)	2004-08-12	Paper
scientific article; zbMATH DE number 1927319 (Why is no real title available?)	2003-06-12	Paper
scientific article; zbMATH DE number 1696457 (Why is no real title available?)	2002-06-17	Paper
scientific article; zbMATH DE number 1860621 (Why is no real title available?)	2002-01-01	Paper
Ladder networks with elements in geometric progression IEEE Transactions on Circuits and Systems	1979-01-01	Paper

Research outcomes over time

This page was built for person: Jonathan Billington