Login / Signup

Modeling and Verifying Concurrent Programs with Finite Chu Spaces.

Xutao DuChun-Xiao XingLi-Zhu Zhou
Published in: J. Comput. Sci. Technol. (2010)
Keyphrases
  • concurrent programs
  • process algebra
  • databases
  • case study
  • programming language