| Modular MPI and PVM Components | 3 | 0.58 | 2002 |
| Composition of Message Passing Applications On-Demand | 0 | 0.34 | 2000 |
| Porting Applications Between Pvm And Parix Under Ensemble | 0 | 0.34 | 1998 |
| Message-Passing Program Development by Ensemble | 10 | 1.17 | 1997 |
| Efficient composition and automatic initialization of arbitrary structured PVM programs | 8 | 0.98 | 1996 |
| Efficient Composition of PVM Programs | 0 | 0.34 | 1996 |
| Language Support for Concurrent Symbolic and Numeric Systems | 0 | 0.34 | 1994 |
| Two Way Channel with Disconnect | 5 | 4.24 | 1983 |
| Formal Behavioural Specification of Concurrent Systems Without Globality Assumptions | 11 | 1.22 | 1981 |
| Verification of Concurrent Systems of Processes | 2 | 1.13 | 1977 |
