登陆
注册
工具列表
Tool list
Prism
2020-06-01
81
-
Probabilistic Contract Signing Protocol
Consider several parties on a computer network who wish to exchange some items of value but do not t...
-
Bluetooth Device Discovery
Bluetooth is a short-range low-power open standard for implementing wireless personal area networks....
-
Randomised Self-Stabilising Algorithms
In this case study we consider a number of self-stabilising algorithms from the literature.
