Semi-automatic process partitioning for parallel computation Charles KoelbelPiyush MehrotraJohn Van Rosendale OriginalPaper Pages: 365 - 382
Trace, failure and testing equivalences for communicating processes Michael G. Main OriginalPaper Pages: 383 - 400