1. A congruence relation for sPBC

   • Hermenegilda Macià
   • Valentín Valero
   • David de-Frutos

   OriginalPaper 05 December 2007 Pages: 85 - 128

2. Verification of parametric concurrent systems with prioritised FIFO resource management

   • Ahmed Bouajjani
   • Peter Habermehl
   • Tomáš Vojnar

   OriginalPaper 25 January 2008 Pages: 129 - 172