Sorry, we do not have enough data to show an influence graph for this author.
- Full text PDF available (0)
Journals and Conferences
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)