%0 Journal Article %1 journals/siamcomp/FeldmanN80 %A Feldman, Jerome A. %A Nigam, Anil %D 1980 %J SIAM J. Comput. %K dblp %N 4 %P 768-784 %T A Model and Proof Technique for Message-Based Systems. %U http://dblp.uni-trier.de/db/journals/siamcomp/siamcomp9.html#FeldmanN80 %V 9

@article{journals/siamcomp/FeldmanN80, added-at = {2011-02-01T00:00:00.000+0100}, author = {Feldman, Jerome A. and Nigam, Anil}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/263cf5a9aeb731ba83379bc07e4193659/dblp}, ee = {http://dx.doi.org/10.1137/0209060}, interhash = {90aef35e69aaa57236751d0e58c1ef33}, intrahash = {63cf5a9aeb731ba83379bc07e4193659}, journal = {SIAM J. Comput.}, keywords = {dblp}, number = 4, pages = {768-784}, timestamp = {2016-02-02T10:36:36.000+0100}, title = {A Model and Proof Technique for Message-Based Systems.}, url = {http://dblp.uni-trier.de/db/journals/siamcomp/siamcomp9.html#FeldmanN80}, volume = 9, year = 1980 }