| 1993 | ||
|---|---|---|
| 2 | Claire Diehl, Claude Jard, Jean-Xavier Rampon: Reachability Analysis on Distributed Executions. TAPSOFT 1993: 629-643 | |
| 1992 | ||
| 1 | Claire Diehl, Claude Jard: Interval Approximations of Message Causality in Distributed Executions. STACS 1992: 363-374 | |
| 1 | Claude Jard | [1] [2] |
| 2 | Jean-Xavier Rampon | [2] |