
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