@inproceedings(lics96,
 author       = "P.~A. Abdulla and C.~{\v C}er{\=a}ns and B.~Jonsson and Y.-K. Tsay",
 year         = "1996",
 title        = "{General decidability theorems for infinite-state systems}",
 booktitle    = "LICS'96",
 publisher    = "IEEE Computer Society",
 pages        = "313--321",
)
@article(ic2000,
 author       = "P.~A. Abdulla and C.~{\v C}er{\=a}ns and B.~Jonsson and Tsay. Y.-K.",
 year         = "2000",
 title        = "{Algorithmic analysis of programs with well quasi-ordered domains}",
 journal      = "Inf. Comput.",
 volume       = "160",
 number       = "1-2",
 pages        = "109--127",
)
@inproceedings(delzanno-parameterized-10,
 author       = "G.~Delzanno and A.~Sangnier and G.~Zavattaro",
 year         = "2010",
 title        = "{Parameterized Verification of Ad Hoc Networks}",
 booktitle    = "CONCUR'10",
 series       = "Lecture Notes in Computer Science",
 volume       = "6269",
 publisher    = "Springer",
 pages        = "313--327",
 doi          = "10.1007/978-3-642-15375-4_22",
)
@inproceedings(delzanno-fossacs11,
 author       = "G.~Delzanno and A.~Sangnier and G.~Zavattaro",
 year         = "2011",
 title        = "{On the Power of Cliques in the Parameterized Verification of Ad Hoc Networks}",
 booktitle    = "FOSSACS'11",
 series       = "Lecture Notes in Computer Science",
 volume       = "6604",
 publisher    = "Springer",
 pages        = "441--455",
 doi          = "10.1007/978-3-642-19805-2_30",
)
@article(Ding90,
 author       = "G.~Ding",
 year         = "1992",
 title        = "{Subgraphs and well quasi ordering}",
 journal      = "J. of Graph Theory",
 volume       = "16",
 number       = "5",
 pages        = "489 -- 502",
)
@inproceedings(Emerson-Namjoshi98,
 author       = "E.~A. Emerson and K.~S. Namjoshi",
 year         = "1998",
 title        = "On Model Checking for Non-Deterministic Infinite-State Systems",
 booktitle    = "LICS'98",
 publisher    = "IEEE Computer Society",
 pages        = "70--80",
)
@inproceedings(EM01,
 author       = "C.~Ene and T.~Muntean",
 year         = "2001",
 title        = "A Broadcast based Calculus for Communicating Systems",
 booktitle    = "IPDPS '01",
 pages        = "149",
)
@inproceedings(Esparza-Finkel-Mayr-Lics99,
 author       = "J.~Esparza and A.~Finkel and R.~Mayr",
 year         = "1999",
 title        = "On the Verification of Broadcast Protocols",
 booktitle    = "LICS'99",
 publisher    = "IEEE Computer Society",
 pages        = "352--359",
)
@inproceedings(FVM07,
 author       = "A.~Fehnker and L.~van Hoesel and A.~Mader",
 year         = "2007",
 title        = "{Modelling and verification of the LMAC protocol for wireless sensor networks}",
 booktitle    = "IFM'07",
 series       = "Lecture Notes in Computer Science",
 volume       = "4591",
 publisher    = "Springer",
 pages        = "253--272",
 doi          = "10.1007/978-3-540-73210-5_14",
)
@inproceedings(Clusters,
 author       = "Y.~Fernandess and D.~Malkhi",
 year         = "2002",
 title        = "K-clustering in wireless ad hoc networks",
 booktitle    = "POMC'02",
 publisher    = "ACM",
 pages        = "31--37",
 doi          = "10.1145/584490.584497",
)
@article(FinSch01,
 author       = "A.~Finkel and P.~Schnoebelen",
 year         = "2001",
 title        = "{Well-structured transition systems everywhere!}",
 journal      = "Theoretical Computer Science",
 volume       = "256",
 number       = "1-2",
 pages        = "63--92",
 doi          = "10.1016/S0304-3975(00)00102-X",
)
@inproceedings(G07,
 author       = "J.C. Godskesen",
 year         = "2007",
 title        = "A Calculus for Mobile Ad Hoc Networks",
 booktitle    = "COORDINATION '07",
 pages        = "132--150",
)
@article(hoffman-moore-60,
 author       = "A.J. Hoffman and R.R. Singleton",
 year         = "1960",
 title        = "{On Moore graphs with diameter 2 and 3}",
 journal      = "IBM J. Res. Develop.",
 volume       = "4",
 pages        = "497--504",
 doi          = "10.1147/rd.45.0497",
)
@article(LS10,
 author       = "Ivan Lanese and Davide Sangiorgi",
 year         = "2010",
 title        = "An operational semantics for a calculus for wireless systems",
 journal      = "Theoretical Computer Science",
 volume       = "411",
 number       = "19",
 pages        = "1928--1948",
 doi          = "10.1016/j.tcs.2010.01.023",
)
@article(Mer09,
 author       = "M.~Merro",
 year         = "2009",
 title        = "An Observational Theory for Mobile Ad Hoc Network",
 journal      = "Inf. Comput.",
 volume       = "207",
 number       = "2",
 pages        = "194--208",
 doi          = "10.1016/j.ic.2007.11.010",
)
@inproceedings(MeyerTCS08,
 author       = "R.~Meyer",
 year         = "2008",
 title        = "{On boundedness in depth in the pi-calculus}",
 booktitle    = "IFIP TCS'08",
 series       = "IFIP",
 volume       = "477--489",
 publisher    = "Springer",
 pages        = "477--489",
)
@article(NH06,
 author       = "S.~Nanz and C.~Hankin",
 year         = "2006",
 title        = "A Framework for Security Analysis of Mobile Wireless Networks",
 journal      = "TCS",
 volume       = "367",
 number       = "1--2",
 pages        = "203--227",
 doi          = "10.1016/j.tcs.2006.08.036",
)
@article(Pra95,
 author       = "K.V.S. Prasad",
 year         = "1995",
 title        = "A Calculus of Broadcasting Systems",
 journal      = "Sci. of Comp. Prog.",
 volume       = "25",
 number       = "2-3",
 pages        = "285--327",
 doi          = "10.1016/0167-6423(95)00017-8",
)
@book(pi-calculus,
 author       = "Milner R.",
 year         = "1999",
 title        = "Communicating and Mobile Systems: the Pi-Calculus",
 publisher    = "Cambridge Univ. Press",
)
@inproceedings(SWJ08,
 author       = "M.~Saksena and O.~Wibling and B.~Jonsson",
 year         = "2008",
 title        = "{Graph grammar modeling and verification of Ad Hoc Routing Protocols}",
 booktitle    = "TACAS'08",
 series       = "Lecture Notes in Computer Science",
 volume       = "4963",
 publisher    = "Springer",
 pages        = "18--32",
 doi          = "10.1007/978-3-540-78800-3_3",
)
@inproceedings(Schnoebelen2010,
 author       = "P.~Schnoebelen",
 year         = "2010",
 title        = "{Revisiting Ackermann-Hardness for Lossy Counter Machines and Reset Petri Nets}",
 booktitle    = "MFCS'10",
 series       = "Lecture Notes in Computer Science",
 volume       = "6281",
 publisher    = "Springer",
 pages        = "616--628",
 doi          = "10.1007/978-3-642-15155-2_54",
)
@inproceedings(LISAT06,
 author       = "A.~Singh and C.~R. Ramakrishnan and S.~A. Smolka",
 year         = "2006",
 title        = "Modeling the AODV routing protocol in omega-calculus",
 booktitle    = "LISAT '06",
)
@inproceedings(SCPJ08,
 author       = "A.~Singh and C.~R. Ramakrishnan and S.~A. Smolka",
 year         = "2008",
 title        = "A Process Calculus for Mobile Ad Hoc Networks",
 editor       = "Springer",
 booktitle    = "COORDINATION '08",
 series       = "Lecture Notes in Computer Science",
 volume       = "5052",
 pages        = "296--314",
)
@inproceedings(Concur09,
 author       = "A.~Singh and C.~R. Ramakrishnan and S.~A. Smolka",
 year         = "2009",
 title        = "{Query-Based model checking of Ad Hoc Network Protocols}",
 booktitle    = "CONCUR'09",
 series       = "Lecture Notes in Computer Science",
 volume       = "5710",
 publisher    = "Springer",
 pages        = "603--61",
)
@inproceedings(Fossacs10,
 author       = "T.~Wies and D~Zufferey and T.~A. Henzinger",
 year         = "2010",
 title        = "{Forward analysis of depth-bounded processes}",
 booktitle    = "FOSSACS'10",
 series       = "Lecture Notes in Computer Science",
 volume       = "6014",
 publisher    = "Springer",
 pages        = "94--108",
 doi          = "10.1007/978-3-642-12032-9_8",
)