William Henderson

2001
20		William Henderson, Peter G. Taylor: State-dependent Coupling of Quasireversible Nodes. Queueing Syst. 37(1/3): 163-197 (2001)
19		Xiuli Chao, William Henderson, Peter G. Taylor: State-Dependent Coupling in General Networks. Queueing Syst. 39(4): 337-348 (2001)
18		William Henderson, David Kendall, Adrian Robson: Improving the Accuracy of Scheduling Analysis Applied to Distributed Systems Computing Minimal Response Times and Reducing Jitter. Real-Time Systems 20(1): 5-25 (2001)
17		Steven Bradley, William Henderson, David Kendall, Adrian Robson: A formal design language for real-time systems with data. Sci. Comput. Program. 40(1): 3-29 (2001)
1998
16	EE	Steven Bradley, William Henderson, David Kendall, Adrian Robson: Integrating AORTA with Model-Based Data Specification Languages. FASE 1998: 54-70
1996
15	EE	Steven Bradley, William Henderson, David Kendall, Adrian Robson, Stephen Hawkes: A Formal Design and Implementation Method for Real-Time Embedded Systems. EUROMICRO 1996: 77-
14		J. L. Coleman, William Henderson, Peter G. Taylor: Product form Equilibrium Distributions and a Convolution Algorithm for Stochastic Petri Nets. Perform. Eval. 26(3): 159-180 (1996)
1995
13		Steven Bradley, William Henderson, David Kendall, Adrian Robson: Validation, verification and implementation of timed protocols using AORTA. PSTV 1995: 205-220
12	EE	William Henderson, B. S. Northcote, Peter G. Taylor: Triggered batch movement in queueing networks. Queueing Syst. 21(1-2): 125-141 (1995)
1994
11		Steven Bradley, William Henderson, David Kendall, Adrian Robson: Designing and Implementing Correct Real-Time Systems. FTRTFT 1994: 228-246
10	EE	A. J. Coyle, William Henderson, C. E. M. Pearce, Peter G. Taylor: A general formulation for mean-value analysis in product-form batch-movement queueing networks. Queueing Syst. 16(3-4): 363-372 (1994)
1993
9		William Henderson: Finding and Using Exact Equilibrium Distributions for Stochastic Petri Nets. Computer Networks and ISDN Systems 25(10): 1143-1153 (1993)
8		William Henderson, D. Lucic: Aggregation and Disaggregation Through Insensitivity in Stochastic Petri Nets. Perform. Eval. 17(2): 91-114 (1993)
1992
7	EE	William Henderson, Peter G. Taylor: Insensitivity in discrete time queues with a moving server. Queueing Syst. 11(3): 273-297 (1992)
1991
6		William Henderson, D. Lucic: Exact Results in the Aggregation and Disaggregation of Stochastic Petri Nets. PNPM 1991: 166-175
5	EE	William Henderson, Peter G. Taylor: Embedded Processes in Stochastic Petri Nets. IEEE Trans. Software Eng. 17(2): 108-116 (1991)
1990
4		William Henderson: Performance Analysis: When Do We Give Up on Product Form Solutions. Computer Networks and ISDN Systems 20(1): 271-275 (1990)
3		William Henderson, C. E. M. Pearce, Peter G. Taylor, Nico M. van Dijk: Closed Queueing Networks with Batch Services. Queueing Syst. 6(1): 59-70 (1990)
2		William Henderson, Peter G. Taylor: Product Form in Networks of Queues with Batch Arrivals and Batch Services. Queueing Syst. 6(1): 71-87 (1990)
1989
1		William Henderson, Peter G. Taylor: Aggregation Methods in Exact Performance Analyssi of Stochastic Petri Nets. PNPM 1989: 12-18

Coauthor Index

1	Steven Bradley	[11] [13] [15] [16] [17]
2	Xiuli Chao	[19]
3	J. L. Coleman	[14]
4	A. J. Coyle	[10]
5	Nico M. van Dijk	[3]
6	Stephen Hawkes	[15]
7	David Kendall	[11] [13] [15] [16] [17] [18]
8	D. Lucic	[6] [8]
9	B. S. Northcote	[12]
10	C. E. M. Pearce	[3] [10]
11	Adrian Robson	[11] [13] [15] [16] [17] [18]
12	Peter G. Taylor	[1] [2] [3] [5] [7] [10] [12] [14] [19] [20]

Colors in the list of coauthors