dc.contributor.author | Gelastou, Marina | en |
dc.contributor.author | Georgiou, Chryssis | en |
dc.contributor.author | Philippou, Anna | en |
dc.creator | Gelastou, Marina | en |
dc.creator | Georgiou, Chryssis | en |
dc.creator | Philippou, Anna | en |
dc.date.accessioned | 2019-11-13T10:40:08Z | |
dc.date.available | 2019-11-13T10:40:08Z | |
dc.date.issued | 2008 | |
dc.identifier.isbn | 978-0-7695-3192-2 | |
dc.identifier.uri | http://gnosis.library.ucy.ac.cy/handle/7/53968 | |
dc.description.abstract | In this paper we consider the frameworks of Process Algebra and I/O Automata and we apply both towards the verification of a distributed leader-election protocol. Based on the two experiences we evaluate the approaches and draw initial conclusions with respect to their relative capabilities, strengths and usability. To the best of our knowledge, this is the first hands-on evaluation of the two models, and we view it as the cornerstone for a wider investigation of the strengths and weaknesses of the two methodologies in specifying and verifying (distributed) protocols. © 2008 IEEE. | en |
dc.source | Proceedings of the 7th IEEE International Symposium on Networking Computing and Applications, NCA 2008 | en |
dc.source | 7th IEEE International Symposium on Networking Computing and Applications, NCA 2008 | en |
dc.source.uri | https://www.scopus.com/inward/record.uri?eid=2-s2.0-51749090617&doi=10.1109%2fNCA.2008.24&partnerID=40&md5=5ee065495a15bc3e9eb15f68b205766d | |
dc.subject | Computer networks | en |
dc.subject | International symposium | en |
dc.subject | Distributed protocols | en |
dc.subject | I/O-automaton | en |
dc.subject | Process algebras | en |
dc.title | On the application of formal methods for specifying and verifying distributed protocols | en |
dc.type | info:eu-repo/semantics/conferenceObject | |
dc.identifier.doi | 10.1109/NCA.2008.24 | |
dc.description.startingpage | 195 | |
dc.description.endingpage | 204 | |
dc.author.faculty | 002 Σχολή Θετικών και Εφαρμοσμένων Επιστημών / Faculty of Pure and Applied Sciences | |
dc.author.department | Τμήμα Πληροφορικής / Department of Computer Science | |
dc.type.uhtype | Conference Object | en |
dc.description.notes | <p>Sponsors: IEEE Comput. Soc. Technical Committee on Distributed Processing | en |
dc.description.notes | Akamai Technologies, Inc. | en |
dc.description.notes | International Research Institute on Autonomic Network Computing | en |
dc.description.notes | Conference code: 73523 | en |
dc.description.notes | Cited By :5</p> | en |
dc.contributor.orcid | Georgiou, Chryssis [0000-0003-4360-0260] | |
dc.gnosis.orcid | 0000-0003-4360-0260 | |