Login / Signup

Detecting Deadlock in Ada Rendezvous Flow Structure Based on Process Algebra.

Yuan LiuBaowen XuZhenqiang Chen
Published in: ICFEM (2002)
Keyphrases
  • process algebra
  • general purpose
  • formal specification
  • concurrent systems
  • concurrent programs