( en | de | ru )

 

Disambiguation of "Thiagarajan, P. S."

Author of the publication

copydeleteadd this publication to your clipboard
Temporal Logics for Communicating Sequential Agents: I.

, , and . Int. J. Found. Comput. Sci., 3 (2): 117-159 (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.

Arvind Thiagarajan

Egon P S Zehnder

Natarajan Thiagarajan

McDonald's Choultry Thulasilingam Thiagarajan

S Fröhlich

 

Other publications of authors with the same name

Distributed Markov Chains., , , and . CoRR, (2014)A decompositional approach to parameter estimation in pathway modeling: a case study of the Akt and MAPK pathways and their crosstalk., , , , and . ISMB (Supplement of Bioinformatics), page 271-280. (2006)A lattice theoretic view of K-density., and . European Workshop on Applications and Theory in Petri Nets, volume 188 of Lecture Notes in Computer Science, page 139-153. Springer, (1984)Bipolar Synchronization Systems., and . ICALP, volume 85 of Lecture Notes in Computer Science, page 257-272. Springer, (1980)Some Behavioural Aspects of Net Theory.. ICALP, volume 317 of Lecture Notes in Computer Science, page 630-653. Springer, (1988)A Trace Semantics for Petri Nets (Extended Abstract)., , and . ICALP, volume 623 of Lecture Notes in Computer Science, page 595-604. Springer, (1992)Regular Collections of Message Sequence Charts., , , and . MFCS, volume 1893 of Lecture Notes in Computer Science, page 405-414. Springer, (2000)Degrees of Non-Determinism and Concurrency: A Petri Net View., and . FSTTCS, volume 181 of Lecture Notes in Computer Science, page 89-117. Springer, (1984)Approximate Probabilistic Verification of Hybrid Systems., , , , and . HSB, volume 9271 of Lecture Notes in Computer Science, page 96-116. Springer, (2015)Message Sequence Charts., and . UML for Real, Kluwer, (2003)