%0 Conference Paper %1 72998 %A Kurshan, R. P. %A McMillan, K. %B PODC '89: Proceedings of the eighth annual ACM Symposium on Principles of distributed computing %C New York, NY, USA %D 1989 %I ACM %K induction networkinvariant parameterized verification %P 239--247 %R http://doi.acm.org/10.1145/72981.72998 %T A structural induction theorem for processes %U http://portal.acm.org/citation.cfm?id=72998 %@ 0-89791-326-4

@inproceedings{72998, added-at = {2010-01-13T14:45:09.000+0100}, address = {New York, NY, USA}, author = {Kurshan, R. P. and McMillan, K.}, biburl = {https://www.bibsonomy.org/bibtex/2c42e4b7505e7ce0437006eec669f740f/giuliano.losa}, booktitle = {PODC '89: Proceedings of the eighth annual ACM Symposium on Principles of distributed computing}, description = {A structural induction theorem for processes}, doi = {http://doi.acm.org/10.1145/72981.72998}, interhash = {3f8dbe37cd0565d1d5c3642d72143f98}, intrahash = {c42e4b7505e7ce0437006eec669f740f}, isbn = {0-89791-326-4}, keywords = {induction networkinvariant parameterized verification}, location = {Edmonton, Alberta, Canada}, pages = {239--247}, publisher = {ACM}, timestamp = {2010-01-13T14:45:10.000+0100}, title = {A structural induction theorem for processes}, url = {http://portal.acm.org/citation.cfm?id=72998}, year = 1989 }