@inproceedings{Madhusudan:2005:MTC:2135218.2135236,
    Address = {Berlin, Heidelberg},
    Author = {Madhusudan, P. and Thiagarajan, P. S. and Yang, Shaofa},
    BookTitle = {Proceedings of the 25th international conference on Foundations of Software Technology and Theoretical Computer Science},
    File = {The MSO theory of connectedly communicating processes - Madhusudan, Thiagarajan, Yang (0) (0) - a - a - x.pdf},
    ISBN = {3-540-30495-9, 978-3-540-30495-1},
    Location = {Hyderabad, India},
    Pages = {201--212},
    Publisher = {Springer-Verlag},
    Series = {FSTTCS '05},
    Title = {The MSO theory of connectedly communicating processes},
    URL = {http://dx.doi.org/10.1007/11590156\_16},
    Year = {2005},
    acmid = {2135236},
    bdsk-url-1 = {http://dx.doi.org/10.1007/11590156\_16},
    date-added = {2013-10-13 21:47:38 +0000},
    date-modified = {2013-10-13 21:47:38 +0000},
    numpages = {12},
    doi = {10.1007/11590156_16}
}

@inproceedings{Madhusudan:2005:MTC:2135218.2135236, Address = {Berlin, Heidelberg}, Author = {Madhusudan, P. and Thiagarajan, P. S. and Yang, Shaofa}, BookTitle = {Proceedings of the 25th international conference on Foundations of Software Technology and Theoretical Computer Science}, File = {The MSO theory of connectedly communicating processes - Madhusudan, Thiagarajan, Yang (0) (0) - a - a - x.pdf}, ISBN = {3-540-30495-9, 978-3-540-30495-1}, Location = {Hyderabad, India}, Pages = {201--212}, Publisher = {Springer-Verlag}, Series = {FSTTCS '05}, Title = {The MSO theory of connectedly communicating processes}, URL = {http://dx.doi.org/10.1007/11590156_16}, Year = {2005}, acmid = {2135236}, bdsk-url-1 = {http://dx.doi.org/10.1007/11590156_16}, date-added = {2013-10-13 21:47:38 +0000}, date-modified = {2013-10-13 21:47:38 +0000}, numpages = {12}, doi = {10.1007/11590156_16} }