( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Keeping Track of the Latest Gossip in Message-Passing Systems.

, , и . STRICT, стр. 249-263. Springer, (1995)

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

 

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

Generic Verification of Security Protocols., , и . SPIN, том 3639 из Lecture Notes in Computer Science, стр. 221-235. Springer, (2005)Local LTL with Past Constants Is Expressively Complete for Mazurkiewicz Traces., , и . MFCS, том 2747 из Lecture Notes in Computer Science, стр. 429-438. Springer, (2003)Matching Scenarios with Timing Constraints., и . FORMATS, том 4202 из Lecture Notes in Computer Science, стр. 98-112. Springer, (2006)Local Testing of Message Sequence Charts Is Difficult., , , и . FCT, том 4639 из Lecture Notes in Computer Science, стр. 76-87. Springer, (2007)Keeping Track of the Latest Gossip in a Distributed System., и . Distributed Comput., 10 (3): 137-148 (1997)Time-Bounded Statistical Analysis of Resource-Constrained Business Processes with Distributed Probabilistic Systems., , и . SETTA, том 9984 из Lecture Notes in Computer Science, стр. 297-314. (2016)Specifying Interacting Components with Coordinated Concurrent Scenarios., и . SEFM, стр. 61-69. IEEE Computer Society, (2009)Netcharts: Bridging the gap between HMSCs and executable specifications., , и . CONCUR, том 2761 из Lecture Notes in Computer Science, стр. 293-307. Springer, (2003)Synthesizing Distributed Finite-State Systems from MSCs., , и . CONCUR, том 1877 из Lecture Notes in Computer Science, стр. 521-535. Springer, (2000)Towards a Characterisation of Finite-State Message-Passing Systems., , , и . ASIAN, том 1538 из Lecture Notes in Computer Science, стр. 282-299. Springer, (1998)