The following pages link to Jonathan Billington (Q3011892):
Displaying 17 items.
- On Parametric Steady State Analysis of a Generalized Stochastic Petri Net with a Fork-Join Subnet (Q3011894) (← links)
- (Q3045266) (← links)
- (Q3045270) (← links)
- (Q3369934) (← links)
- (Q3504338) (← links)
- Parametric Language Analysis of the Class of Stop-and-Wait Protocols (Q3510867) (← links)
- (Q3601866) (← links)
- Ladder networks with elements in geometric progression (Q4174627) (← links)
- (Q4484211) (← links)
- (Q4790348) (← links)
- A Study of the Convergence of Steady State Probabilities in a Closed Fork-Join Network (Q4931289) (← links)
- Automated Technology for Verification and Analysis (Q5394225) (← links)
- (Q5431912) (← links)
- Automated Technology for Verification and Analysis (Q5491887) (← links)
- Lectures on Concurrency and Petri Nets (Q5712297) (← links)
- Applications and Theory of Petri Nets 2005 (Q5713504) (← links)
- Model Checking Software (Q5899044) (← links)