BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Mukund:Madhavan

Contributed to:

VMCAI 20152015
SEFM 20092009
SEFM 20082008
ICALP 20022002
ICLP 20012001
ICALP 20002000
ICALP 19981998
ICALP 19941994

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.