Merro, Massimo; Ballardin, Francesco; Sibilio, Eleonora A timed calculus for wireless systems. (English) Zbl 1227.68077 Theor. Comput. Sci. 412, No. 47, 6585-6611 (2011). MSC: 68Q85 68M20 PDF BibTeX XML Cite \textit{M. Merro} et al., Theor. Comput. Sci. 412, No. 47, 6585--6611 (2011; Zbl 1227.68077) Full Text: DOI
Song, Lei; Godskesen, Jens Chr. Probabilistic mobility models for mobile and wireless networks. (English) Zbl 1202.68270 Calude, Christian S. (ed.) et al., Theoretical computer science. 6th IFIP WG 2.2 international conference, TCS 2010, held as a Part of the World Computer Congress (WCC 2010), Brisbane, Australia, September 20–23, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15239-9/hbk; 978-3-642-15240-5/ebook). IFIP Advances in Information and Communication Technology 323, 86-100 (2010). MSC: 68Q87 68M10 PDF BibTeX XML Cite \textit{L. Song} and \textit{J. Chr. Godskesen}, IFIP Adv. Inf. Commun. Technol. 323, 86--100 (2010; Zbl 1202.68270) Full Text: DOI
Godskesen, Jens Chr.; Hüttel, Hans; Kühnrich, Morten Verification of correspondence assertions in a calculus for mobile ad hoc networks. (English) Zbl 1347.68028 Canal, Carlos (ed.) et al., Proceedings of the 7th international workshop on the foundations of coordination languages and software architectures (FOCLASA 2008), Reykjavik, Iceland, July 13, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 229, No. 2, 77-93 (2009). MSC: 68M14 68M12 68Q55 68Q60 68Q85 94A60 PDF BibTeX XML Cite \textit{J. Chr. Godskesen} et al., Electron. Notes Theor. Comput. Sci. 229, No. 2, 77--93 (2009; Zbl 1347.68028) Full Text: DOI
Prasad, K. V. S. A prospectus for mobile broadcasting systems. (English) Zbl 1316.68105 Aceto, Luca (ed.) et al., Proceedings of the workshop “Essays on algebraic process calculi” (APC 25), Bertinoro, Italy, August 1–5, 2005. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 162, 295-300 (2006). MSC: 68Q85 68M10 PDF BibTeX XML Cite \textit{K. V. S. Prasad}, Electron. Notes Theor. Comput. Sci. 162, 295--300 (2006; Zbl 1316.68105) Full Text: DOI
Hennessy, M.; Rathke, J. Bisimulations for a calculus of broadcasting systems. (English) Zbl 0915.68065 Theor. Comput. Sci. 200, No. 1-2, 225-260 (1998). MSC: 68Q10 68T15 PDF BibTeX XML Cite \textit{M. Hennessy} and \textit{J. Rathke}, Theor. Comput. Sci. 200, No. 1--2, 225--260 (1998; Zbl 0915.68065) Full Text: DOI