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