Open AccessEquivalence of two parallel execution systems
Author(s) -
T. V. Panchenko,
Sunmade Fabunmi
Publication year - 2018
Publication title -
problems in programming
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 , parallel computing , multithreading , operational semantics , parallelism (grammar) , soundness , concurrency , programming language , mutual exclusion , semantics (computer science) , thread (computing) , mathematics , discrete mathematics , computer network , channel (broadcasting) , geometry
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom