1 citations · 2 across the 20 of their papers we have counts for
Showing 2025Show all
2 papers · 1 filter
cs.DC2025
Model-based Testing of Practical Distributed Systems in Actor Model
Ilya Kokorin, Evgeny Chernatskiy, Vitaly Aksenov
Designing and implementing distributed systems correctly can be quite challenging. Although these systems are often accompanied by formal specifications that are verified using mod…
cs.DC2025
Basic Lock Algorithms in Lightweight Thread Environments
Taras Skazhenik, Nikolai Korobenikov, Andrei Churbanov +2
Traditionally, multithreaded data structures have been designed for access by the threads of Operating Systems (OS). However, implementations for access by programmable alternative…