| Multiprocessor and Distributed System Design: The Integration of Functional Specification and Performance Analysis Using Stochastic Process Algebras | 99 | 9.78 | 1993 |
| TIPP - Introduction and Application to Protocol Performance Analysis. | 11 | 1.61 | 1992 |
| Stepwise Refinement of Layered Protocols by Formal Program Development | 1 | 0.54 | 1989 |
