A single server queue with mixed types of interruptions

Comparative Analysis of Different Models of Checkpointing and Recovery

IEEE Transactions on Software Engineering

Equivalence, reversibility, symmetry and concavity properties in fork-join queuing networks with blocking

Journal of the ACM (JACM)

Queueing analysis of fault-tolerant computer systems (extended abstract)

SIGMETRICS '86/PERFORMANCE '86 Proceedings of the 1986 ACM SIGMETRICS joint international conference on Computer performance modelling, measurement and evaluation

On modelling the performance and reliability of multimode computer systems

Journal of Systems and Software