| Causality Based Proof of a Distributed Shared Memory System | 2 | 0.41 | 1993 |
| Compositional Liveness Properties of EN-Systems | 5 | 0.61 | 1993 |
| On the design of parallel programs for machines with distributed memory | 4 | 0.46 | 1991 |
| The Distributed Termination Problem: Formal Solution and Correctness Based on Petri Nets | 2 | 0.41 | 1990 |
| Bibliography of Petri nets | 7 | 2.55 | 1986 |
