Open AccessAnalysis of correct synchronization of operating system components
Author(s) -
Pavel S. Andrianov
Publication year - 2019
Publication title -
trudy instituta sistemnogo programmirovaniâ ran/trudy instituta sistemnogo programmirovaniâ
Language(s) - English
Resource type - Journals
eISSN - 2220-6426
pISSN - 2079-8156
DOI - 10.15514/ispras-2019-31(5)-16
Subject(s) - computer science , soundness , thread (computing) , scalability , synchronization (alternating current) , static analysis , software , disjoint sets , model checking , distributed computing , theoretical computer science , programming language , operating system , computer network , channel (broadcasting) , mathematics , combinatorics