Concepedia

Madhavan Mukund

MM

12

Publications

394

Citations

11

H-Index

1992

Active since

Affiliations

Chennai Mathematical Institute(Current)

Indian Institute of Technology Bombay

Aarhus University

Institute of Mathematical Sciences

Madhavan Mukund is an author at Chennai Mathematical Institute specializing in computer science, engineering, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsAutomated ReasoningFormal VerificationSystems EngineeringVerificationSoftware AnalysisAsynchronous SystemsLinguistics

Publications per year

1992–2010

12

Publications

12

PETRI NETS AND STEP TRANSITION SYSTEMS

Madhavan Mukund · International Journal of Foundations of Computer Science · 1992 · 124 citations

Petri Net, Engineering, Complex Systems +17

A theory of regular MSC languages

Jesper G. Henriksen, Madhavan Mukund, K. Narayan Kumar et al. · Information and Computation · 2005 · 87 citations

Combinatorics On Word, Formal Language, Chomsky Hierarchy +2

Keeping track of the latest gossip in a distributed system

Madhavan Mukund, Milind Sohoni · Distributed Computing · 1997 · 40 citations

Engineering, Data Science, Latest Gossip +9

Towards a Theory of Regular MSC Languages

Jesper G. Henriksen, Madhavan Mukund, K. Narayan Kumar et al. · BRICS Report Series · 1999 · 24 citations · Full text

Engineering, Verification, Message Sequence Charts +20

CCS, Locations and Asynchronous Transition Systems

Madhavan Mukund, Mogens Nielsen · DAIMI Report Series · 1992 · 21 citations · Full text

Engineering, Verification, Transition System +16

Rows per page

1–5 of 12