A Normalized Form for FIFO Protocols Traces, Application to the Replay of Mode-based Protocols

Communications in Computer and Information Science - Formal Techniques for Safety-Critical Systems ◽

10.1007/978-3-319-17581-2_6 ◽

2015 ◽

pp. 76-92

Author(s):

Mamoun Filali ◽

Meriem Ouederni ◽

Jean-Baptiste Raclet

Download Full-text