Thiagarajan, P. S.
-
DAIMI Report Series No. 259 (1988): PB-259 Some Behavioural Aspects of Net Theory - Articles
Some Behavioural Aspects of Net Theory
Abstract PDF -
DAIMI Report Series No. 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''
Abstract PDF -
DAIMI Report Series No. 158 (1983): PB-158 A Theory for Bipolar Synchronisation Schemes - Articles
A Theory for Bipolar Synchronisation Schemes
Abstract PDF -
DAIMI Report Series No. 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
Abstract PDF -
DAIMI Report Series No. 220 (1987): PB-220 A Modal Logic for a Subclass of Event Structures - Articles
A Modal Logic for a Subclass of Event Structures
Abstract PDF -
DAIMI Report Series No. 310 (1990): PB-310 Elementary transition systems - Articles
Elementary transition systems
Abstract PDF -
DAIMI Report Series No. 205 (1986): PB-205 Notions of Realizable Non-Sequential Processes - Articles
Notions of Realizable Non-Sequential Processes
Abstract PDF -
DAIMI Report Series No. 346 (1991): PB-346 Elementary Transition Systems and Refinement - Articles
Elementary Transition Systems and Refinement
Abstract PDF -
DAIMI Report Series No. 353 (1991): PB-353 Transition Systems, Event Structures and Unfoldings - Articles
Transition Systems, Event Structures and Unfoldings
Abstract PDF -
DAIMI Report Series No. 281 (1989): PB-281 Behavioural Notions for Elementary Net Systems - Articles
Behavioural Notions for Elementary Net Systems
Abstract PDF