Follow
Madhavan Mukund
Madhavan Mukund
Verified email at cmi.ac.in - Homepage
Title
Cited by
Cited by
Year
Petri nets and step transition systems
M Mukund
International Journal of Foundations of Computer Science 3 (04), 443-478, 1992
1851992
A theory of regular MSC languages
JG Henriksen, M Mukund, KN Kumar, M Sohoni, PS Thiagarajan
Information and computation 202 (1), 1-38, 2005
1262005
On message sequence graphs and finitely generated regular MSC languages
JG Henriksen, M Mukund, KN Kumar, PS Thiagarajan
Automata, Languages and Programming: 27th International Colloquium, ICALP …, 2000
982000
Synthesizing distributed finite-state systems from MSCs
M Mukund, KN Kumar, M Sohoni
International Conference on Concurrency Theory, 521-535, 2000
762000
CCS, locations and asynchronous transition systems
M Mukund, M Nielsen
International Conference on Foundations of Software Technology and …, 1992
761992
Regular collections of message sequence charts
JG Henriksen, M Mukund, KN Kumar, PS Thiagarajan
International Symposium on Mathematical Foundations of Computer Science, 405-414, 2000
702000
From global specifications to distributed implementations
M Mukund
Synthesis and control of discrete event systems, 19-35, 2002
652002
Keeping track of the latest gossip in a distributed system
M Mukund, M Sohoni
Distributed Computing 10, 137-148, 1997
501997
Synthesizing distributed transition systems from global specifications
I Castellani, M Mukund, PS Thiagarajan
International Conference on Foundations of Software Technology and …, 1999
481999
Distributed timed automata with independently evolving clocks
S Akshay, B Bollig, P Gastin, M Mukund, K Narayan Kumar
International Conference on Concurrency Theory, 82-97, 2008
462008
Linear time temporal logics over Mazurkiewicz traces
M Mukund, PS Thiagarajan
International Symposium on Mathematical Foundations of Computer Science, 62-92, 1996
451996
Linear-time temporal logic and Büchi automata
M Mukund
Tutorial talk, Winter School on Logic and Computer Science, Indian …, 1997
371997
Finite-state automata on infinite inputs
M Mukund
Tcs 96, 2, 1996
371996
A logical characterization of well branching event structures
M Mukund, PS Thiagarajan
Theoretical Computer Science 96 (1), 35-72, 1992
341992
Models and logics for true concurrency
K Lodaya, M Mukund, R Ramanujam, PS Thiagarajan
Sadhana 17, 131-165, 1992
341992
Local and symbolic bisimulation using tabled constraint logic programming
S Basu, M Mukund, CR Ramakrishnan, IV Ramakrishnan, R Verma
Logic Programming: 17thInternational Conference, ICLP 2001 Paphos, Cyprus …, 2001
322001
Causal closure for MSC languages
B Adsul, M Mukund, KN Kumar, V Narayanan
FSTTCS 2005: Foundations of Software Technology and Theoretical Computer …, 2005
312005
Determinizing asynchronous automata
N Klarlund, M Mukund, M Sohoni
Automata, Languages and Programming: 21st International Colloquium, ICALP 94 …, 1994
301994
Netcharts: Bridging the gap between HMSCs and executable specifications
M Mukund, KN Kumar, PS Thiagarajan
CONCUR 2003-Concurrency Theory: 14th International Conference, Marseille …, 2003
292003
An axiomatization of event structures
M Mukund, PS Thiagarajan
International Conference on Foundations of Software Technology and …, 1989
291989
The system can't perform the operation now. Try again later.
Articles 1–20