1. Introduction: Special Issue on Partial Order in Formal Methods

   • Doron Peled

   OriginalPaper Pages: 5 - 6

2. Deciding Global Partial-Order Properties

   • Rajeev Alur
   • Ken McMillan
   • Doron Peled

   OriginalPaper Pages: 7 - 25

3. Difficult Configurations—On the Complexity of LTrL

   • Igor Walukiewicz

   OriginalPaper Pages: 27 - 43

4. On Stubborn Sets in the Verification of Linear Time Temporal Properties

   • Kimmo Varpaaniemi

   OriginalPaper Pages: 45 - 67