onr:"swepub:oai:DiVA.org:hh-20531"
Search: onr:"swepub:oai:DiVA.org:hh-20531" > Reconstruction and ...
- 1 of 1
- Previous record
- Next record
- To hitlist
- Atif, MuhammadEindhoven University of Technology, Eindhoven, The Netherlands (author)
Reconstruction and verification of group membership protocols
- BookEnglish2010
Publisher, publication year, extent ...
- Eindhoven :Eindhoven University of Technology,2010
- 38 s.
- printrdacarrier
Numbers
- LIBRIS-ID:oai:DiVA.org:hh-20531
- https://urn.kb.se/resolve?urn=urn:nbn:se:hh:diva-20531URI
Supplementary language notes
- Language:English
- Summary in:English
Part of subdatabase
- SwePubSwePub
Classification
Series
- Computer science report ;10-08
Notes
- In this paper, we present a process-algebraic specication of group membership protocols specified in [Y. Amir, D. Dolev, S. Kramer and D. Malki, Membership Algorithms for Multicast Communication Groups, Springer-Verlag, 1992]. In order to formalise the protocol and its properties we disambiguate the informal specification provided by the paper. This requires trying different possible interpretations in the formal model and checking the consistency of the assumption and formally verifying the correctness properties. We thus present a formal reconstruction of the membership algorithms and model-check our reconstruction.
Subject headings and genre
- NATURVETENSKAP Data- och informationsvetenskap hsv//swe
- NATURAL SCIENCES Computer and Information Sciences hsv//eng
- Group Membership Protocols
- Formal Specification
- Process Algebra
- Formal Verification
- Model Checking
Added entries (persons, corporate bodies, meetings, titles ...)
- Cranen, SjoerdEindhoven University of Technology, Eindhoven, The Netherlands (author)
- Mousavi, Mohammad Reza,1978-Eindhoven University of Technology, Eindhoven, The Netherlands(Swepub:hh)mohmou (author)
- Eindhoven University of Technology, Eindhoven, The Netherlands (creator_code:org_t)
Internet link
To the university's database
- 1 of 1
- Previous record
- Next record
- To hitlist
Find more in SwePub
- By the author/editor
- Atif, Muhammad
- Cranen, Sjoerd
- Mousavi, Mohamma ...
- About the subject
-
- NATURAL SCIENCES
- NATURAL SCIENCES
- and Computer and Inf ...
- Parts in the series
- Computer science ...
- By the university
- Halmstad University
Search outside SwePub
- Extend your search to:
- Google Book Search
- Google Scholar
Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.
- Copyright © LIBRIS - National Library Systems
- LIBRIS.kb.se
