Publications

Papers related to bounded time-stamping

• Bounded time-stamping in message-passing systems
  M Mukund, K Narayan Kumar and M Sohoni
  Theoretical Computer Science, 290(1), (2003), 221-239.

• Keeping Track of the Latest Gossip in a Distributed System
  M Mukund and M Sohoni
  Distributed Computing, 10, 3, (1997) 117-127.

• Keeping Track of the Latest Gossip in Message-Passing Systems
  M Mukund, K Narayan Kumar and M Sohoni
  Proc. STRICT '95, Workshops in Computing, Springer-Verlag (1995) 249-263.

• Implementing Causal Ordering with Bounded Time-stamps
  Saileshwar Krishnamurthy and M Mukund
  Report TCS-95-7, School of Mathematics, SPIC Science Foundation, Madras, India (1995)

• Keeping Track of the Latest Gossip: Bounded Time-Stamps Suffice
  M Mukund and M Sohoni
  Proc. FSTTCS 13, Springer LNCS 761 (1993) 388-399.

• Click here for a complete list of papers.

• Subject-wise classification
  • Asynchronous automata, Mazurkiewicz trace theory
  • Message-passing systems
  • Timed systems
  • Bounded time-stamping
  • Logics for concurrency based on partial-orders
  • Non-interleaved models for concurrency
  • Automated verification
  • Computer Security