Verification Of Asynchronous Concurrency And The Shaped Stack Constraint