Interval Approximations of Message Causality in Distributed Executions. - Claire Diehl; Claude Jard (STACS, 1992)

Reachability Analysis on Distributed Executions. - Claire Diehl; Claude Jard; Jean-Xavier Rampon (TAPSOFT, 1993)