Simple Deadlock Detection for the And-Communication Model | IEEE Conference Publication | IEEE Xplore