Avoiding State Explosion for Distributed Systems with Timestamps.

Fabrice Derepas, Paul Gastin, David Plainfoss

Browse the full FM paper archive.