Pregled bibliografske jedinice broj: 899541
Proving Properties of Peer-to-Peer Protocols using ASMs Formalism-An Overview
Proving Properties of Peer-to-Peer Protocols using ASMs Formalism-An Overview // Logic and Applications LAP 2017 / Ghilezan, S, Ognjanovic, Z. (ur.).
Dubrovnik, 2017. str. 10-13 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), ostalo)
CROSBI ID: 899541 Za ispravke kontaktirajte CROSBI podršku putem web obrasca
Naslov
Proving Properties of Peer-to-Peer Protocols using ASMs Formalism-An Overview
Autori
Glavan, Paola ; Marinkovic, Bojan ; Ognjanovic, Zoran
Vrsta, podvrsta i kategorija rada
Radovi u zbornicima skupova, cjeloviti rad (in extenso), ostalo
Izvornik
Logic and Applications LAP 2017
/ Ghilezan, S, Ognjanovic, Z. - Dubrovnik, 2017, 10-13
Skup
Logic and Applications LAP 2017
Mjesto i datum
Dubrovnik, Hrvatska, 18.09.2017. - 22.09.2017
Vrsta sudjelovanja
Predavanje
Vrsta recenzije
Međunarodna recenzija
Ključne riječi
ASM, Chord Protocol, Synapse Protocol
Sažetak
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.
Izvorni jezik
Engleski
Znanstvena područja
Matematika
