
Registered user since Fri 14 Jul 2017
Name: Evgeniy Shishkin
Country: Russia
Affiliation: JSC “InfoTeCS”
Research interests: Formal verification of distributed algorithms
Contributions
Erlang 2017 | Construction and Formal Verification of a Fault-Tolerant Distributed Mutual Exclusion Algorithm | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
ICFP 2017-profile
View general profile
View general profile