@inproceedings{H11, title = "Parameterised Pushdown Systems with Non-Atomic Writes", author = "M. Hague", year = "2011", booktitle = "FSTTCS", note = "To appear.", }