Login / Signup

Pi calculus-based bitransformation of state-driven model and flow-driven model.

Ke XuYing LiuJun ZhuCheng Wu
Published in: Int. J. Bus. Process. Integr. Manag. (2006)
Keyphrases