O. J. Saiz

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Sorry, we do not have enough data to show an influence graph for this author.
Learn More
This paper describes a system for the creation of the traces of programs consisting of sets of parallel processes that communicate via message passing. The system uses a CSP model to represent the program from which the traces are created. The system is based around the X windows environment. The generated trace set is useful as a static testing tool for(More)
  • 1