Alaa M. Al-Obaidi, Sai Peck Lee. A Concurrent Coloured Petri Nets Model for Solving Binary Search Problem on a Multicore Architecture. In Jasni Mohamad Zain, Wan Maseri Binti Wan Mohd, Eyas El-Qawasmeh, editors, Software Engineering and Computer Systems - Second International Conference, ICSECS 2011, Kuantan, Pahang, Malaysia, June 27-29, 2011, Proceedings, Part III. Volume 181 of Communications in Computer and Information Science, pages 463-477, Springer, 2011. [doi]
Abstract is missing.