%0 Conference Paper %1 conf/acs/Pratt83 %A Pratt, Vaughan R. %B The Analysis of Concurrent Systems %D 1983 %E Denvir, B. Tim %E Harwood, W. T. %E Jackson, M. I. %E Wray, M. J. %I Springer %K dblp %P 110-111 %T Two-way Channel with Disconnect. %U http://dblp.uni-trier.de/db/conf/acs/acs1983.html#Pratt83 %V 207 %@ 0-387-16047-7

@inproceedings{conf/acs/Pratt83, added-at = {2017-05-19T00:00:00.000+0200}, author = {Pratt, Vaughan R.}, biburl = {https://www.bibsonomy.org/bibtex/2a4d37f5f53bd2bff0b525d1ff342ec72/dblp}, booktitle = {The Analysis of Concurrent Systems}, crossref = {conf/acs/1983}, editor = {Denvir, B. Tim and Harwood, W. T. and Jackson, M. I. and Wray, M. J.}, ee = {https://doi.org/10.1007/3-540-16047-7_39}, interhash = {5166e0ed3c1973cb75433aebe720ba5e}, intrahash = {a4d37f5f53bd2bff0b525d1ff342ec72}, isbn = {0-387-16047-7}, keywords = {dblp}, pages = {110-111}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2020-07-24T01:00:48.000+0200}, title = {Two-way Channel with Disconnect.}, url = {http://dblp.uni-trier.de/db/conf/acs/acs1983.html#Pratt83}, volume = 207, year = 1983 }