Open AccessEquivalence of two parallel execution systems
Author(s) -
T. V. Panchenko,
Sunmade Fabunmi
Publication year - 2018
Publication title -
problemy programmirovaniâ
Language(s) - English
Resource type - Journals
ISSN - 1727-4907
DOI - 10.15407/pp2018.02.093
Subject(s) - computer science , synchronization (alternating current) , equivalence (formal languages) , theoretical computer science , mathematical proof , multithreading , programming language , soundness , operational semantics , parallel computing , concurrency , parallelism (grammar) , mutual exclusion , semantics (computer science) , thread (computing) , mathematics , discrete mathematics , computer network , channel (broadcasting) , geometry