A process calculus for dynamic networks
dc.contributor.author | Kouzapas, D. | en |
dc.contributor.author | Philippou, Anna | en |
dc.creator | Kouzapas, D. | en |
dc.creator | Philippou, Anna | en |
dc.date.accessioned | 2019-11-13T10:40:48Z | |
dc.date.available | 2019-11-13T10:40:48Z | |
dc.date.issued | 2011 | |
dc.identifier.issn | 0302-9743 | |
dc.identifier.uri | http://gnosis.library.ucy.ac.cy/handle/7/54303 | |
dc.description.abstract | In 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.source | Joint 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 2011 | en |
dc.source.uri | https://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.subject | Calculations | en |
dc.subject | Distributed computer systems | en |
dc.subject | Abstracting | en |
dc.subject | Network topology | en |
dc.subject | Mobile ad hoc networks | en |
dc.subject | Electric network topology | en |
dc.subject | Levels of abstraction | en |
dc.subject | Dynamic network | en |
dc.subject | Formal methods | en |
dc.subject | Machinery | en |
dc.subject | Multiple transmission | en |
dc.subject | Process calculi | en |
dc.title | A process calculus for dynamic networks | en |
dc.type | info:eu-repo/semantics/article | |
dc.identifier.doi | 10.1007/978-3-642-21461-5_14 | |
dc.description.volume | 6722 LNCS | en |
dc.description.startingpage | 213 | |
dc.description.endingpage | 227 | |
dc.author.faculty | 002 Σχολή Θετικών και Εφαρμοσμένων Επιστημών / Faculty of Pure and Applied Sciences | |
dc.author.department | Τμήμα Πληροφορικής / Department of Computer Science | |
dc.type.uhtype | Article | en |
dc.description.notes | <p>Sponsors: International Federation for Information Processing (IFIP) | en |
dc.description.notes | Reykjavik University | en |
dc.description.notes | CCP Games Iceland | en |
dc.description.notes | Conference code: 85734 | en |
dc.description.notes | Cited By :10</p> | en |
dc.source.abbreviation | Lect. Notes Comput. Sci. | en |
Αρχεία σε αυτό το τεκμήριο
Αρχεία | Μέγεθος | Τύπος | Προβολή |
---|---|---|---|
Δεν υπάρχουν αρχεία που να σχετίζονται με αυτό το τεκμήριο. |