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…