PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Thiagarajan, P. S."

Author of the publication

copydeleteadd this publication to your clipboard
A Logical Characterization of Well Branching Event Structures.

, and . Theor. Comput. Sci., 96 (1): 35-72 (1992)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

S. Schumann

S. Seemann

S. Wartzack

Boettinger S

P. Hommel

 

Other publications of authors with the same name

A theory of regular MSC languages., , , , and . Inf. Comput., 202 (1): 1-38 (2005)Some Logical and Automata-Theoretic Aspects of Product Behaviours.. Electr. Notes Theor. Comput. Sci., 16 (2): 153 (1998)Generalized Handle Grammars and Their Relation to Petri Nets., , , and . Elektronische Informationsverarbeitung und Kybernetik, 20 (4): 179-206 (1984)A Logical Characterization of Well Branching Event Structures., and . Theor. Comput. Sci., 96 (1): 35-72 (1992)Some Behavioural Aspects of Net Theory.. Theor. Comput. Sci., 71 (1): 133-153 (1990)Event Structures and Trace Monoids., and . Theor. Comput. Sci., 91 (2): 285-313 (1991)Branching time controllers for discrete event systems., and . Theor. Comput. Sci., 274 (1-2): 117-149 (2002)A Petri Net Model of Asynchronously Communicating Sequential Processes., and . A Perspective in Theoretical Computer Science, volume 16 of World Scientific Series in Computer Science, World Scientific, (1989)Event Count Automata: A State-Based Model for Stream Processing Systems., , and . RTSS, page 87-98. IEEE Computer Society, (2005)A UML-Based Design Framework for Time-Triggered Applications., , and . RTSS, page 39-48. IEEE Computer Society, (2007)