Thiagarajan, P. S.
-
BRICS Report Series Nr. 8 (1998): RS-08 Distributed Versions of Linear Time Temporal Logic: A Trace Perspective - Artikler
Distributed Versions of Linear Time Temporal Logic: A Trace Perspective
Resumé PDF (English) -
BRICS Report Series Nr. 32 (1996): RS-32 Regular Trace Event Structures - Artikler
Regular Trace Event Structures
Resumé PDF (English) -
BRICS Report Series Nr. 62 (1996): RS-62: An Expressively Complete Linear Time Temporal Logic for Mazurkiewicz Traces - Artikler
An Expressively Complete Linear Time Temporal Logic for Mazurkiewicz Traces
Resumé PDF (English) -
BRICS Report Series Nr. 9 (1997): RS-09 A Product Version of Dynamic Linear Time Temporal Logic - Artikler
A Product Version of Dynamic Linear Time Temporal Logic
Resumé PDF (English) -
BRICS Report Series Nr. 8 (1997): RS-08 Dynamic Linear Time Temporal Logic - Artikler
Dynamic Linear Time Temporal Logic
Resumé PDF (English) -
BRICS Report Series Nr. 52 (1999): RS-52 Towards a Theory of Regular MSC Languages - Artikler
Towards a Theory of Regular MSC Languages
Resumé PDF (English)