A Modular Approach for the Validation of Communication Protocols Using FIFO Nets.

Younes Souissi A Modular Approach for the Validation of Communication Protocols Using FIFO Nets. 143-158 1991 conf/pstv/1991 PSTV db/conf/pstv/pstv1991.html#Souissi91