Thiagarajan, P. S.

• BRICS Report Series No. 8 (1998): RS-08 Distributed Versions of Linear Time Temporal Logic: A Trace Perspective - Articles
  Distributed Versions of Linear Time Temporal Logic: A Trace Perspective
  Abstract  PDF
• BRICS Report Series No. 32 (1996): RS-32 Regular Trace Event Structures - Articles
  Regular Trace Event Structures
  Abstract  PDF
• BRICS Report Series No. 62 (1996): RS-62: An Expressively Complete Linear Time Temporal Logic for Mazurkiewicz Traces - Articles
  An Expressively Complete Linear Time Temporal Logic for Mazurkiewicz Traces
  Abstract  PDF
• BRICS Report Series No. 9 (1997): RS-09 A Product Version of Dynamic Linear Time Temporal Logic - Articles
  A Product Version of Dynamic Linear Time Temporal Logic
  Abstract  PDF
• BRICS Report Series No. 8 (1997): RS-08 Dynamic Linear Time Temporal Logic - Articles
  Dynamic Linear Time Temporal Logic
  Abstract  PDF
• BRICS Report Series No. 52 (1999): RS-52 Towards a Theory of Regular MSC Languages - Articles
  Towards a Theory of Regular MSC Languages
  Abstract  PDF