Younes Souissi

Publication Activity (10 Years)

Years Active: 1988-2000
Publications (10 Years): 0

Publications

Mohamed Dâfir Ech-Cherif El Kettani, Younes Souissi
Fault Management in a Multicast Routing Environment: Kernel Based Tree Protocol, a Case Study. MMNS (2000)
Stanislaw Budkowski, A. B. Alkhechi, Mohamed-Lyes Benalycherif, Piotr Dembinski, M. Gardie, E. Lallet, J. P. Mouchel La Fosse, Younes Souissi
Formal Specification, Validation and Performance Evaluation of the Xpress Transfer Protocol. PSTV (1993)
Younes Souissi
Towards a Modular Specification and Verification of Protocols within a Layered Architecture. FORTE (1993)
Younes Souissi
Deterministic Systems of Sequential Processes: a class of structured Petri nets. Applications and Theory of Petri Nets (1991)
Younes Souissi
A Modular Approach for the Validation of Communication Protocols Using FIFO Nets. PSTV (1991)
Younes Souissi
On liveness preservation by composition of nets via a set of places. Applications and Theory of Petri Nets (1990)
Younes Souissi, Gérard Memmi
Composition of nets via a communication medium. Applications and Theory of Petri Nets (1989)
Younes Souissi, Nicolas Beldiceanu
Deterministic Systems of Sequential Processes: Theory and Tools. Concurrency (1988)