Parallelisation of the Petri Net Unfolding Algorithm.

Keijo Heljanko, Victor Khomenko, Maciej Koutny

Browse the full TACAS paper archive.