PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Purushothaman, S."

Author of the publication

copydeleteadd this publication to your clipboard
Analysis of a Class of Communicating Finite State Machines.

, and . Acta Inf., 29 (6/7): 499-522 (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

S. Toro

 

Other publications of authors with the same name

Analysis of a Class of Communicating Finite State Machines., and . Acta Inf., 29 (6/7): 499-522 (1992)Mechanical Certification of Systolic Algorithms., and . J. Autom. Reasoning, 5 (1): 67-91 (1989)A Uniform Treatment of Order of Evalaution and Aggregate Update., and . Theor. Comput. Sci., 118 (2): 231-262 (1993)Reasoning About Probabilistic Behavior in Concurrent Systems., and . IEEE Trans. Software Eng., 13 (6): 740-745 (1987)A Unified Approach to the Deadlock Detection Problem in Networks of Communicating Finite State Machines., and . CAV, volume 531 of Lecture Notes in Computer Science, page 243-252. Springer, (1990)Reasoning about Systolic Algorithms., and . J. Parallel Distrib. Comput., 5 (6): 669-699 (1988)Application of polynomial vector (pv) processing to improve the estimation performance of bio diesel in variable compression ratio diesel engine, , and . CoRR, (2013)Towards fast solid state DNA sequencing., , and . ISCAS (4), page 169-172. IEEE, (2002)Book Review: Nets, Terms and Formulas . By E.-R. Olderog. (Cambridge University Press, 1991 . x+267pp. ISBN 0-521-40044-9 . $49.95).. SIGACT News, 24 (1): 26-27 (1993)An Adequate Operational Semantics for Sharing in Lazy Evaluation., and . ESOP, volume 582 of Lecture Notes in Computer Science, page 435-450. Springer, (1992)