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