( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Bounded Version Vectors Using Mazurkiewicz Traces.

, , и . ACSS (1), том 1178 из Advances in Intelligent Systems and Computing, стр. 31-42. Springer, (2020)

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.

Soumya Madhavan

Madhavan Nallani

Dharanija Madhavan

Madhavan Manivannan

 

Другие публикации лиц с тем же именем

Synthesizing Distributed Finite-State Systems from MSCs., , и . CONCUR, том 1877 из Lecture Notes in Computer Science, стр. 521-535. Springer, (2000)Netcharts: Bridging the gap between HMSCs and executable specifications., , и . CONCUR, том 2761 из Lecture Notes in Computer Science, стр. 293-307. Springer, (2003)Causal Closure for MSC Languages., , , и . FSTTCS, том 3821 из Lecture Notes in Computer Science, стр. 335-347. Springer, (2005)Towards a Characterisation of Finite-State Message-Passing Systems., , , и . ASIAN, том 1538 из Lecture Notes in Computer Science, стр. 282-299. Springer, (1998)Linear time temporal logics over Mazurkiewicz traces., и . Partial Order Methods in Verification, том 29 из DIMACS Series in Discrete Mathematics and Theoretical Computer Science, стр. 171-201. DIMACS/AMS, (1996)On Verifying TSO Robustness for Event-Driven Asynchronous Programs., , , и . NETYS, том 11028 из Lecture Notes in Computer Science, стр. 225-239. Springer, (2018)2008 Abstracts Collection - IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science., , и . FSTTCS, том 2 из LIPIcs, стр. 10. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2008)Local and Symbolic Bisimulation Using Tabled Constraint Logic Programming., , , , и . ICLP, том 2237 из Lecture Notes in Computer Science, стр. 166-180. Springer, (2001)Synthesizing Distributed Transition Systems from Global Specification., , и . FSTTCS, том 1738 из Lecture Notes in Computer Science, стр. 219-231. Springer, (1999)Bounded Version Vectors Using Mazurkiewicz Traces., , и . ACSS (1), том 1178 из Advances in Intelligent Systems and Computing, стр. 31-42. Springer, (2020)