Authors: | Glavan, Paola Marinković, Bojan Ognjanović, Zoran |
Affiliations: | Mathematical Institute of the Serbian Academy of Sciences and Arts | Title: | Proving Properties of Peer-to-Peer Protocols using ASMs Formalism – An Overview | First page: | 18 | Last page: | 20 | Conference: | 6th international conference Logic and Applications LAP 2017, Dubrovnik, Croatia, September 18-23, 2017 | Issue Date: | 2017 | Rank: | M34 | URL: | https://pdfs.semanticscholar.org/3c32/363499fa2f92796d201172e9a962d05b780f.pdf#page=19 | Abstract: | We give an overview of the development of the ASM framework, with special emphasis on the description and proving properties of peer-to-peer protocols. |
Show full item record
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.