Open AccessRuntime Refinement Checking of Concurrent Data Structures
Author(s) -
Serdar Taşiran,
Shaz Qadeer
Publication year - 2005
Publication title -
electronic notes in theoretical computer science
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.242
H-Index - 60
ISSN - 1571-0661
DOI - 10.1016/j.entcs.2004.01.028
Subject(s) - computer science , executable , concurrency , programming language , data structure , operating system , thread (computing) , runtime verification , concurrent data structure , distributed computing , parallel computing , formal verification
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