48 citations · 54 across the 5 of their papers we have counts for
Showing 2014Show all
2 papers · 1 filter
cs.LO2014
Decidable Models of Recursive Asynchronous Concurrency
Jonathan Kochems, C. -H. Luke Ong
Asynchronously communicating pushdown systems (ACPS) that satisfy the empty-stack constraint (a pushdown process may receive only when its stack is empty) are a popular decidable m…
cs.LO2014
Safety verification of asynchronous pushdown systems with shaped stacks
Jonathan Kochems, C-H Luke Ong
In this paper, we study the program-point reachability problem of concurrent pushdown systems that communicate via unbounded and unordered message buffers. Our goal is to relax the…