Jonathan Billington

From MaRDI portal
Person:3011892

Available identifiers

zbMath Open billington.jonathanMaRDI QIDQ3011892

List of research outcomes





PublicationDate of PublicationType
On parametric steady state analysis of a generalized stochastic Petri net with a fork-join subnet2011-06-29Paper
A Study of the Convergence of Steady State Probabilities in a Closed Fork-Join Network2010-10-04Paper
Coloured Petri net modelling of an evolving internet standard: the datagram congestion control protocol2009-02-12Paper
Parametric Language Analysis of the Class of Stop-and-Wait Protocols2008-07-03Paper
https://portal.mardi4nfdi.de/entity/Q35043382008-06-11Paper
https://portal.mardi4nfdi.de/entity/Q54319122008-01-02Paper
Model Checking Software2007-05-02Paper
Automated Technology for Verification and Analysis2006-10-25Paper
Automated Technology for Verification and Analysis2006-10-10Paper
FAST verification of the class of stop-and-wait protocols modelled by coloured Petri nets2006-02-06Paper
Lectures on Concurrency and Petri Nets2005-12-23Paper
Applications and Theory of Petri Nets 20052005-12-14Paper
https://portal.mardi4nfdi.de/entity/Q30452702004-08-12Paper
https://portal.mardi4nfdi.de/entity/Q30452662004-08-12Paper
https://portal.mardi4nfdi.de/entity/Q44842112003-06-12Paper
https://portal.mardi4nfdi.de/entity/Q27665642002-06-17Paper
https://portal.mardi4nfdi.de/entity/Q47903482002-01-01Paper
Ladder networks with elements in geometric progression1979-01-01Paper

Research outcomes over time

This page was built for person: Jonathan Billington

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:3011892&oldid=7336415"
Powered by MediaWiki