John Yiannis Cotronis Peter E. Lauer Two Way Channel with Disconnect. 184-198 1983 conf/acs/1983 The Analysis of Concurrent Systems db/conf/acs/acs1983.html#CotronisL83