Login / Signup
Modeling and Verifying Concurrent Programs with Finite Chu Spaces.
Xutao Du
Chun-Xiao Xing
Li-Zhu Zhou
Published in:
J. Comput. Sci. Technol. (2010)
Keyphrases
</>
concurrent programs
process algebra
databases
case study
programming language