Younes Souissi

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

8 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: 117-129
7 Younes Souissi: Towards a Modular Specification and Verification of Protocols within a Layered Architecture. FORTE 1993: 35-50
6 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: 191-206
5 Younes Souissi: Deterministic Systems of Sequential Processes: a class of structured Petri nets. Applications and Theory of Petri Nets 1991: 406-426
4 Younes Souissi: A Modular Approach for the Validation of Communication Protocols Using FIFO Nets. PSTV 1991: 143-158
3 Younes Souissi: On liveness preservation by composition of nets via a set of places. Applications and Theory of Petri Nets 1990: 277-295
2 Younes Souissi, Gérard Memmi: Composition of nets via a communication medium. Applications and Theory of Petri Nets 1989: 457-470
1 Younes Souissi, Nicolas Beldiceanu: Deterministic Systems of Sequential Processes: Theory and Tools. Concurrency 1988: 380-400

Coauthor Index

1A. B. Alkhechi [6]
2Nicolas Beldiceanu [1]
3Mohamed-Lyes Benalycherif [6]
4Stanislaw Budkowski [6]
5Piotr Dembinski [6]
6J. P. Mouchel La Fosse [6]
7M. Gardie [6]
8Mohamed Dâfir Ech-Cherif El Kettani [8]
9E. Lallet [6]
10Gérard Memmi [2]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)