Skip to contentRU
Talk

Automatic Validation of Distributed Algorithms

Hall 3In RussianComplexity -Academic talk

It is impossible to create correct distributed algorithms without using special tools. The talk is about perhaps the best such tool.

Speakers

Schedule