Madhavan Mukund
Chennai Mathematical Institute(IN)
Publications by Year
Research Areas
Academic Writing and Publishing, Diverse Scientific and Economic Studies, History and advancements in chemistry, Formal Methods in Verification, Logic, programming, and type systems
Most-Cited Works
- → PETRI NETS AND STEP TRANSITION SYSTEMS(1992)124 cited
- → A theory of regular MSC languages(2005)87 cited
- → On Message Sequence Graphs and Finitely Generated Regular MSC Languages(2000)62 cited
- → FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science(2001)61 cited
- → Synthesizing Distributed Finite-State Systems from MSCs(2000)53 cited
- → Regular Collections of Message Sequence Charts(2000)48 cited
- → From Global Specifications to Distributed Implementations(2002)43 cited