%0 Conference Paper %1 conf/nato/ChandyM84 %A Chandy, K. Mani %A Misra, Jayadev %B Logics and Models of Concurrent Systems %D 1984 %E Apt, Krzysztof R. %I Springer %K dblp %P 325-341 %T A Paradigm for Detecting Quiescent Properties in Distributed Computations. %U http://dblp.uni-trier.de/db/conf/nato/logics1984.html#ChandyM84 %V 13 %@ 978-3-642-82453-1

@inproceedings{conf/nato/ChandyM84, added-at = {2020-04-17T00:00:00.000+0200}, author = {Chandy, K. Mani and Misra, Jayadev}, biburl = {https://www.bibsonomy.org/bibtex/23745ed40c67309f8d16fc1aa3e2fa688/dblp}, booktitle = {Logics and Models of Concurrent Systems}, crossref = {conf/nato/1984}, editor = {Apt, Krzysztof R.}, ee = {https://doi.org/10.1007/978-3-642-82453-1_11}, interhash = {dcd80c69d34243230e0dc217b15926fb}, intrahash = {3745ed40c67309f8d16fc1aa3e2fa688}, isbn = {978-3-642-82453-1}, keywords = {dblp}, pages = {325-341}, publisher = {Springer}, series = {NATO ASI Series}, timestamp = {2020-04-18T11:39:26.000+0200}, title = {A Paradigm for Detecting Quiescent Properties in Distributed Computations.}, url = {http://dblp.uni-trier.de/db/conf/nato/logics1984.html#ChandyM84}, volume = 13, year = 1984 }