Claire Diehl

Publication Activity (10 Years)

Years Active: 1992-1993
Publications (10 Years): 0

Publications

Claire Diehl, Claude Jard, Jean-Xavier Rampon
Reachability Analysis on Distributed Executions. TAPSOFT (1993)
Claire Diehl, Claude Jard
Interval Approximations of Message Causality in Distributed Executions. STACS (1992)