Avoiding State Explosion for Distributed Systems with Timestamps. - Fabrice Derepas; Paul Gastin; David Plainfossé (FME, 2001)

Model Checking Systems of Replicated Processes with Spin. - Fabrice Derepas; Paul Gastin (SPIN, 2001)