For the most recent entries see the
Petri Nets Newsletter.
Mukund, M.
-
Mukund, Madhavan;
Kumar, K. Narayan;
Sohoni, Milind:
Keeping Track of the Latest Gossip in Message-Passing Systems.
1995.
-
Mukund, M.;
Thiagarajan, P.S.:
A logical characterization of well branching event structures.
1992.
-
Lodaya, Kamal;
Mukund, Madhavan;
Ramanujam, R.;
Thiagarajan, P.S.:
Models and Logics for True Concurrency.
1990.
-
Mukund, Madhavan;
Thiagarajan, P.S.:
An Axiomatization of Well Branching Prime Event Structures.
1990.
-
Mukund, Madhavan:
Expressiveness and Completeness of a Logic for Well Branching Prime Event Structures.
1990.
-
Mukund, M.;
Thiagarajan, P.S.:
A Petri Net Model of Asynchronously Communicating Sequential Processes.
1989.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Are you trying to get in contact with an author? Try our
database of Petri net researchers.
Back to the Petri Nets Bibliography