Madhavan Mukund

Madhavan Mukund

Chennai Mathematical Institute - Chennai / India
Engineering & Technology / Computer Science
AD Scientific Index ID: 4327274
சென்னை கணிதவியல் கழகம்
person_outline Madhavan Mukund's MOST POPULAR ARTICLES
1-) Petri nets and step transition systemsM MukundInternational Journal of Foundations of Computer Science 3 (04), 443-478, 19921821992
2-) A theory of regular MSC languagesJG Henriksen, M Mukund, KN Kumar, M Sohoni, PS ThiagarajanInformation and computation 202 (1), 1-38, 20051242005
3-) On message sequence graphs and finitely generated regular MSC languagesJG Henriksen, M Mukund, KN Kumar, PS ThiagarajanInternational Colloquium on Automata, Languages, and Programming, 675-686, 2000962000
4-) Synthesizing distributed finite-state systems from MSCsM Mukund, KN Kumar, M SohoniInternational Conference on Concurrency Theory, 521-535, 2000762000
5-) CCS, locations and asynchronous transition systemsM Mukund, M NielsenInternational Conference on Foundations of Software Technology and …, 1992761992