Saturation of Concurrent Collapsible Pushdown Systems

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

90 Downloads (Pure)

Original language	English
Title of host publication	FSTTCS: Foundations of Software Technology and Theoretical Computer Science
Number of pages	12
Publication status	Published - 12 Dec 2013
Event	FSTTCS: Foundations of Software Technology and Theoretical Computer Science - IIT Guwahati, Guwahati, India Duration: 12 Dec 2013 → 15 Dec 2013

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

Access to Document

@inproceedings{e8b276a418ed4d7e982cf504d0e66365,

title = "Saturation of Concurrent Collapsible Pushdown Systems",

author = "Matthew Hague",

year = "2013",

month = dec,

day = "12",

language = "English",

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

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

}