one-counter processes

CSL
2009
Springer

164views Automated Reasoning» more CSL 2009»

Model Checking FO(R) over One-Counter Processes and beyond

14 years 7 months ago

Abstract. One-counter processes are pushdown processes over a singleton stack alphabet (plus a stack-bottom symbol). We study the problems of model checking asynchronous products o...

Anthony Widjaja To

claim paper

Read More »

click to vote

LICS
2009
IEEE

121views Automated Reasoning» more LICS 2009»

On the Computational Complexity of Verifying One-Counter Processes

14 years 7 months ago

Download homepages.inf.ed.ac.uk

—One-counter processes are pushdown systems over a singleton stack alphabet (plus a stack-bottom symbol). We study the complexity of two closely related veriﬁcation problems ov...

Stefan Göller, Richard Mayr, Anthony Widjaja ...

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers