Mamoun Filali, Meriem Ouederni, Jean-Baptiste Raclet. A Normalized Form for FIFO Protocols Traces, Application to the Replay of Mode-based Protocols. In Cyrille Artho, Peter Csaba Ölveczky, editors, Formal Techniques for Safety-Critical Systems - Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised Selected Papers. Volume 476 of Communications in Computer and Information Science, pages 76-92, Springer, 2014.
Abstract is missing.