Using maximality-based labeled transition system model for concurrency logic verification
By: Saidouni, Jamal al-Din; Bilal, Nabil. The International Arab Journal of Information Technology. Vol. 2, no. 3 (Jul. 2005), pp.199-205, 7 p.
Subjects: Algorithms; Computer networks; Data processing