A congruence relation for sPBC Hermenegilda MaciàValentín ValeroDavid de-Frutos OriginalPaper 05 December 2007 Pages: 85 - 128
Verification of parametric concurrent systems with prioritised FIFO resource management Ahmed BouajjaniPeter HabermehlTomáš Vojnar OriginalPaper 25 January 2008 Pages: 129 - 172