Publications

Papers related to non-interleaved models for concurrency

• Hereditary history preserving bisimulation is decidable for trace-labelled systems
  M Mukund
  Proc. FSTTCS '02, Springer LNCS 2556 (2002) 289-300.

• From global specifications to distributed implementations
  M Mukund
  Synthesis and Control of Discrete Event Systems, B Caillaud, P Darondeau, L Lavagno (eds), Kluwer (2002) 19-34.
  Invited talk, Workshop on Synthesis of Concurrent Systems, a satellite event of the International Conference on Applications and Theory of Petri Nets (ICATPN'01), Newcastle, U.K., June 2001.

• Synthesizing distributed transition systems from global specifications
  I Castellani, M Mukund and P S Thiagarajan
  Proc. FSTTCS 19, Springer LNCS 1739 (1999) 219-231.

• Petri Nets and Step Transition Systems
  M Mukund
  International Journal of Foundations of Computer Science 3, 4, (1992) 443-478.

• CCS, Locations and Asynchronous Transition Systems
  M Mukund and M Nielsen
  Proc. FSTTCS 12, Springer LNCS 652 (1992) 328-341.

• Models and Logics for True Concurrency
  K Lodaya, M Mukund, R Ramanujam and P S Thiagarajan
  Sadhana 17, Part I, (1992) 131-165.

• Transition System Models for Concurrency
  M Mukund
  Report TCS-92-3, School of Mathematics, SPIC Science Foundation, Madras, India (1992).

• 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