Travelled to:1 × Cyprus
1 × Denmark
1 × India
1 × Israel
1 × South Africa
1 × Spain
1 × Switzerland
1 × Vietnam
Collaborated with:M.A.Sohoni P.Chandrasekaran P.Bhateja P.Gastin K.N.Kumar P.S.Thiagarajan G.S.R. S.P.Suresh N.Klarlund J.G.Henriksen J.Radhakrishnan R.Saha J.Esparza S.K.Jha S.Basu C.R.Ramakrishnan I.V.Ramakrishnan R.M.Verma
Talks about:asynchron (2) messag (2) logic (2) local (2) finit (2) mazurkiewicz (1) elementari (1) constraint (1) implement (1) distribut (1)
Person: Madhavan Mukund
DBLP: Mukund:Madhavan
Contributed to:
2015
20092008
2002
2001200019981994Wrote 9 papers:
- VMCAI-2015-MukundRS #bound #data type #implementation
- Bounded Implementations of Replicated Data Types (MM, GSR, SPS), pp. 355–372.
- VMCAI-2015-SahaEJMT #distributed #markov
- Distributed Markov Chains (RS, JE, SKJ, MM, PST), pp. 117–134.
- SEFM-2009-ChandrasekaranM #component #concurrent #coordination #specification
- Specifying Interacting Components with Coordinated Concurrent Scenarios (PC, MM), pp. 61–69.
- SEFM-2008-BhatejaM #message passing #testing
- Tagging Make Local Testing of Message-Passing Systems Feasible (PB, MM), pp. 171–180.
- ICALP-2002-GastinM #logic
- An Elementary Expressively Complete Temporal Logic for Mazurkiewicz Traces (PG, MM), pp. 938–949.
- ICLP-2001-BasuMRRV #bisimulation #constraints #logic programming #using
- Local and Symbolic Bisimulation Using Tabled Constraint Logic Programming (SB, MM, CRR, IVR, RMV), pp. 166–180.
- ICALP-2000-HenriksenMKT #graph #on the #sequence
- On Message Sequence Graphs and Finitely Generated Regular MSC Languages (JGH, MM, KNK, PST), pp. 675–686.
- ICALP-1998-MukundKRS #finite #protocol #robust
- Robust Asynchronous Protocols Are Finite-State (MM, KNK, JR, MAS), pp. 188–199.
- ICALP-1994-KlarlundMS #automaton
- Determinizing Asynchronous Automata (NK, MM, MAS), pp. 130–141.