Login / Signup
Compositional Reasoning for Shared-variable Concurrent Programs.
Fuyuan Zhang
Yongwang Zhao
David Sanán
Yang Liu
Alwen Tiu
Shang-Wei Lin
Zhimin Wu
Jun Sun
Published in:
CoRR (2016)
Keyphrases
</>
concurrent programs
process algebra
knowledge base
concurrent programming
knowledge representation
web applications
concurrent systems
database
artificial intelligence
general purpose
production rules
web services composition
concurrent processes