Login / Signup

An approach to improve process algebra based protocol composition model.

Xiaoming TianQiuxin Wu
Published in: CCIS (2012)
Keyphrases
  • process algebra
  • concurrent systems
  • high level
  • fine grained
  • process model
  • formal methods