The International Arab Journal of Information Technology (IAJIT)

Partitioning State Spaces of Concurrent Transition Systems Mustapha Bourahla

efficient new methods to deal with the large real-size of concurrent transition systems. We propose a new algorithm for