C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
A program logic for obstruction-freedom.
Zhao-Hui Li
Xin-Yu Feng
Published in:
Frontiers Comput. Sci. (2024)
Keyphrases
</>
logic programming
program execution
declarative semantics
sound and complete axiomatization
database
case study
operating system
computer programs
static analysis
multi valued
control flow
classical logic
nonmonotonic logics
programs written