Items where Author is "Sohoni, Milind"

Article

Henriksen, Jesper G. ; Mukund, Madhavan ; Narayan Kumar, K. ; Sohoni, Milind ; Thiagarajan, P. S. (2005) A theory of regular MSC languages Information and Computation, 202 (1). pp. 1-38. ISSN 0890-5401

Mukund, Madhavan ; Narayan Kumar, K. ; Sohoni, Milind (2003) Bounded time-stamping in message-passing systems Theoretical Computer Science, 290 (1). pp. 221-239. ISSN 0304-3975

Mukund, Madhavan ; Narayan Kumar, K. ; Radhakrishnan, Jaikumar ; Sohoni, Milind (1998) Robust asynchronous protocols are finite-state Lecture Notes in Computer Science, 1443 . pp. 188-199. ISSN 0302-9743

Mukund, Madhavan ; Narayan Kumar, K. ; Radhakrishnan, Jaikumar ; Sohoni, Milind (1998) Towards a characterisation of finite-state message-passing systems Lecture Notes in Computer Science, 1538 . pp. 282-299. ISSN 0302-9743

Mukund, Madhavan ; Sohoni, Milind (1997) Keeping track of the latest gossip in a distributed system Distributed Computing, 10 (3). pp. 137-148. ISSN 0178-2770

Conference or Workshop Item

Mukund, Madhavan ; Sohoni, Milind (2005) Keeping track of the latest gossip: bounded time-stamps suffice In: 13th International Conference on Foundations of Software Technology and Theoretical Computer Science, 15-17 Dec 2003, Bombay, India.

Klarlund, Nils ; Mukund, Madhavan ; Sohoni, Milind (2005) Determinizing Büchi asynchronous automata In: 15th International Conference on Foundations of Software Technology and Theoretical Computer Science, 18-20 Dec 2005, Bangalore, India.

Klarlund, Nils ; Mukund, Madhavan ; Sohoni, Milind (2005) Determinizing asynchronous automata In: 21st International Colloquium on Automata, Languages, and Programming (ICALP 1994), 11-14 Jul 1994, Jerusalem, Israel.

Mukund, Madhavan ; Narayan Kumar, K. ; Sohoni, Milind (2000) Synthesizing distributed finite-state systems from MSCs In: 11th International Conference on Concurrency Theory (CONCUR - 2000), 22 25 Aug 2000, University Park, PA.

Mukund, Madhavan ; Narayan Kumar, K. ; Sohoni, Milind (1995) Keeping track of the latest gossip in message-passing systems In: Proceedings of the International Workshop on Structures in Concurrency Theory (STRICT),, 11-13 May 1995, Berlin, Germany.