Shukla, Sandeep

• BRICS Report Series No. 39 (1996): RS-39 On the Complexity of Deciding Behavioural Equivalences and Preorders. A Survey - Articles
  On the Complexity of Deciding Behavioural Equivalences and Preorders. A Survey
  Abstract  PDF