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