Deterministic Systems of Sequential Processes: Theory and Tools. - Younes Souissi; Nicolas Beldiceanu (Concurrency, 1988)

Composition of nets via a communication medium. - Younes Souissi; Gérard Memmi (Applications and Theory of Petri Nets, 1989)

On liveness preservation by composition of nets via a set of places. - Younes Souissi (Applications and Theory of Petri Nets, 1990)

Deterministic Systems of Sequential Processes: a class of structured Petri nets. - Younes Souissi (Applications and Theory of Petri Nets, 1991)

A Modular Approach for the Validation of Communication Protocols Using FIFO Nets. - Younes Souissi (PSTV, 1991)

Towards a Modular Specification and Verification of Protocols within a Layered Architecture. - Younes Souissi (FORTE, 1993)

Formal Specification, Validation and Performance Evaluation of the Xpress Transfer Protocol. - Stanislaw Budkowski; A. B. Alkhechi; Mohamed-Lyes Benalycherif; Piotr Dembinski; M. Gardie; E. Lallet; J. P. Mouchel La Fosse; Younes Souissi (PSTV, 1993)

Fault Management in a Multicast Routing Environment: Kernel Based Tree Protocol, a Case Study. - Mohamed Dafir Ech-Cherif El Kettani; Younes Souissi (MMNS, 2000)