The following pages link to Bojan Marinković (Q1757157):
Displaying 6 items.
- Proving properties of the Chord protocol using the ASM formalism (Q1757159) (← links)
- Probabilistic consensus of the blockchain protocol (Q2297801) (← links)
- A propositional linear time logic with time flow isomorphic to \(\omega^2\) (Q2447179) (← links)
- A logic with conditional probability operators (Q2914029) (← links)
- Isotopy invariant quasigroup identities (Q2955955) (← links)
- A temporal epistemic logic with a non-rigid set of agents for analyzing the blockchain protocol (Q5213396) (← links)
