|
СТ |
An Executable Specification Language Based on Message Sequence Charts |
2003 |
Roychoudhury A., Thiagarajan P. S. |
|
|
|
Lecture Notes in Computer Science |
25.12.2003 |
|
СТ |
Regular Event Structures and Finite Petri Nets: A Conjecture |
2002 |
Thiagarajan P. S. |
|
|
|
Lecture Notes in Computer Science |
14.03.2002 |
|
СТ |
Linear Time Temporal Logics over Mazurkiewicz Traces |
1996 |
Mukund M., Thiagarajan P. S. |
Lecture Notes in Computer Science |
|
|
Mathematical Foundations of Computer Science 1996 |
11.10.1996 |
|
СТ |
A Trace Consistent Subset of PTL |
1995 |
Thiagarajan P. S. |
Lecture Notes in Computer Science |
|
|
CONCUR 95: Concurrency Theory |
17.10.1995 |
|
СТ |
A Note of Observable Occurrence Nets |
1988 |
Fernandez C., Nielsen M., Thiagarajan P. S. |
|
|
|
Petri Nets Tutorial |
05.10.1995 |
|
П |
REX-Research and Education in Concurrent Systems (Event Structures: Basic Theory and Applications) |
1989 |
Thiagarajan P. S. |
|
|
Leiden Univ. |
|
09.06.1995 |
|
П |
REX-Research and Education in Concurrent Systems (An Event Structure Representation of Trace Languages. Event Structure Semantics of Elementary Net Systems (kopieen van transparanten)) |
1989 |
Thiagarajan P. S. |
|
|
Leiden Univ. |
|
09.06.1995 |
|
СТ |
Local Event Structures and Petri Nets |
1993 |
Hoogers P. W., Kleijn H.C. M., Thiagarajan P. S. |
|
|
|
Lecture Notes in Computer Science |
19.10.1993 |
|
СТ |
Elementary Transition Systems and Refinement |
1992 |
Nielsen M., Rozenberg C., Thiagarajan P. S. |
|
|
|
Acta Informatica |
16.12.1992 |
|
СТ |
A Trace Semantics for Petri Nets |
1992 |
Hoogers P. W., Kleijn H.C. M., Thiagarajan P. S. |
|
|
|
Lecture Notes in Computer Science |
07.08.1992 |
