Thiagarajan, P. S.
-
DAIMI Report Series Nr. 259 (1988): PB-259 Some Behavioural Aspects of Net Theory - Articles
Some Behavioural Aspects of Net Theory
Resumé PDF (English) -
DAIMI Report Series Nr. 275 (1989): PB-275 A Correction to ''A Modal Logic for a Subclass of Event Structures'' - Articles
A Correction to ''A Modal Logic for a Subclass of Event Structures''
Resumé PDF (English) -
DAIMI Report Series Nr. 158 (1983): PB-158 A Theory for Bipolar Synchronisation Schemes - Articles
A Theory for Bipolar Synchronisation Schemes
Resumé PDF (English) -
DAIMI Report Series Nr. 180 (1984): PB-180 Degrees of Non-determinism and Concurrency: A Petri Net View - Articles
Degrees of Non-determinism and Concurrency: A Petri Net View
Resumé PDF (English) -
DAIMI Report Series Nr. 220 (1987): PB-220 A Modal Logic for a Subclass of Event Structures - Articles
A Modal Logic for a Subclass of Event Structures
Resumé PDF (English) -
DAIMI Report Series Nr. 310 (1990): PB-310 Elementary transition systems - Articles
Elementary transition systems
Resumé PDF (English) -
DAIMI Report Series Nr. 205 (1986): PB-205 Notions of Realizable Non-Sequential Processes - Articles
Notions of Realizable Non-Sequential Processes
Resumé PDF (English) -
DAIMI Report Series Nr. 346 (1991): PB-346 Elementary Transition Systems and Refinement - Articles
Elementary Transition Systems and Refinement
Resumé PDF (English) -
DAIMI Report Series Nr. 353 (1991): PB-353 Transition Systems, Event Structures and Unfoldings - Articles
Transition Systems, Event Structures and Unfoldings
Resumé PDF (English) -
DAIMI Report Series Nr. 281 (1989): PB-281 Behavioural Notions for Elementary Net Systems - Articles
Behavioural Notions for Elementary Net Systems
Resumé PDF (English)