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
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

Page view(s)

checked on May 9, 2024

Google ScholarTM


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.