|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
checked on Aug 5, 2023
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.