Parameterised Pushdown Systems with Non‐Atomic Writes

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	English
Title of host publication	FSTTCS: Foundations of Software Technology and Theoretical Computer Science
Publication status	Published - 2011
Event	FSTTCS: Foundations of Software Technology and Theoretical Computer Science - Mumbai, India Duration: 15 Dec 2011 → 17 Dec 2011

Conference	FSTTCS: Foundations of Software Technology and Theoretical Computer Science
Country/Territory	India
City	Mumbai
Period	15/12/11 → 17/12/11

Cite this

@inproceedings{f9e00702efeb4fd49b34078655fe7bc2,

title = "Parameterised Pushdown Systems with Non‐Atomic Writes",

author = "Matthew Hague",

year = "2011",

language = "English",

booktitle = "FSTTCS: Foundations of Software Technology and Theoretical Computer Science",

note = "FSTTCS: Foundations of Software Technology and Theoretical Computer Science ; Conference date: 15-12-2011 Through 17-12-2011",

}