Show simple item record

dc.contributor.authorKouzapas, D.en
dc.contributor.authorPhilippou, Annaen
dc.creatorKouzapas, D.en
dc.creatorPhilippou, Annaen
dc.date.accessioned2019-11-13T10:40:48Z
dc.date.available2019-11-13T10:40:48Z
dc.date.issued2011
dc.identifier.issn0302-9743
dc.identifier.urihttp://gnosis.library.ucy.ac.cy/handle/7/54303
dc.description.abstractIn this paper we propose a process calculus framework for dynamic networks in which the network topology may change as computation proceeds. The proposed calculus allows one to abstract away from neighborhood-discovery computations and it contains features for broadcasting at multiple transmission ranges and for viewing networks at different levels of abstraction. We develop a theory of confluence for the calculus and we use the machinery developed towards the verification of a leader-election algorithm for mobile ad hoc networks. © 2011 IFIP International Federation for Information Processing.en
dc.sourceJoint 13th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2011 and 31st IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2011en
dc.source.urihttps://www.scopus.com/inward/record.uri?eid=2-s2.0-79960873097&doi=10.1007%2f978-3-642-21461-5_14&partnerID=40&md5=845463d658c5402ba9192ded7e9ca94b
dc.subjectCalculationsen
dc.subjectDistributed computer systemsen
dc.subjectAbstractingen
dc.subjectNetwork topologyen
dc.subjectMobile ad hoc networksen
dc.subjectElectric network topologyen
dc.subjectLevels of abstractionen
dc.subjectDynamic networken
dc.subjectFormal methodsen
dc.subjectMachineryen
dc.subjectMultiple transmissionen
dc.subjectProcess calculien
dc.titleA process calculus for dynamic networksen
dc.typeinfo:eu-repo/semantics/article
dc.identifier.doi10.1007/978-3-642-21461-5_14
dc.description.volume6722 LNCSen
dc.description.startingpage213
dc.description.endingpage227
dc.author.faculty002 Σχολή Θετικών και Εφαρμοσμένων Επιστημών / Faculty of Pure and Applied Sciences
dc.author.departmentΤμήμα Πληροφορικής / Department of Computer Science
dc.type.uhtypeArticleen
dc.description.notes<p>Sponsors: International Federation for Information Processing (IFIP)en
dc.description.notesReykjavik Universityen
dc.description.notesCCP Games Icelanden
dc.description.notesConference code: 85734en
dc.description.notesCited By :10</p>en
dc.source.abbreviationLect. Notes Comput. Sci.en


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record