Crash Failure Detection in Asynchronous Agent Communication Languages