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

Page view(s)

27
checked on Oct 2, 2022

Google ScholarTM

Check


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