Ta-Pang Lao

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, we study the complexity and decidability issues of testing trace and bisimulation equivalences for the model of systems with many identical processes with respect to various interprocess communication structures. In our model, each system consists of an arbitrary number of identical nite state processes using Milner's Calculus of(More)
  • 1