izvor podataka: crosbi
!
Proving Properties of Peer-to-Peer Protocols using ASMs Formalism-An Overview (CROSBI ID 653433)
Prilog sa skupa u zborniku | ostalo | međunarodna recenzija
Glavan, Paola ; Marinkovic, Bojan ; Ognjanovic, Zoran
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
Podaci o odgovornosti
Glavan, Paola ; Marinkovic, Bojan ; Ognjanovic, Zoran
engleski
Proving Properties of Peer-to-Peer Protocols using ASMs Formalism-An Overview
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.
ASM, Chord Protocol, Synapse Protocol
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
Podaci o prilogu
10-13.
2017.
objavljeno
Podaci o matičnoj publikaciji
Logic and Applications LAP 2017
Ghilezan, S, Ognjanovic, Z.
Dubrovnik:
Podaci o skupu
Logic and Applications LAP 2017
predavanje
18.09.2017-22.09.2017
Dubrovnik, Hrvatska
Povezanost rada
Povezane osobe
Povezane ustanove
