Ye Xinming

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
In this paper, the models which display different kinds of nondeteminsim in protocol are presented from either control flow or data flow point of view. From control flow side, the information attached is not enough for the analysis of nondeteminsim, therefore the data flow is achieved according to the description in the specification. From data flow side,(More)
  • 1