Publications

Papers related to logics for concurrency

• Local LTL with past constants is expressively complete for Mazurkiewicz traces
  P Gastin, M Mukund and K Narayan Kumar
  Proc. MFCS '03, Springer LNCS 2747 (2003) 429-438.

• An Elementary Expressively Complete Temporal Logic for Mazurkiewicz Traces
  P Gastin and M Mukund
  Proc. ICALP '02, Springer LNCS 2382 (2002) 938-949.

• Faster Model Checking for Open Systems
  M Mukund, K Narayan Kumar and S A Smolka
  Proc. ASIAN '99, Springer LNCS 1742, (1999) 227-238.

• Linear Time Temporal Logics over Mazurkiewicz Traces
  M Mukund and P S Thiagarajan
  Proc. MFCS '96, Springer LNCS 1113, (1996) 32-62.

• A Logical Characterization of Well Branching Event Structures
  M Mukund and P S Thiagarajan
  Theoretical Computer Science, 96, 1, (1992) 35-72.

• 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