Internal Reports from CMI

---

The following is a list of Internal Reports available from CMI. Many of these are available electronically and may be downloaded using the indicated hyperlinks. Printed copies of reports may be ordered from the address below:

Chennai Mathematical Institute
H1, SIPCOT IT Park,
Padur PO,
Siruseri 603 103, India.
Email: office@cmi.ac.in.

Computer Science

• [TCS-02-1]
  Stephane Demri and Deepak D'Souza:
  An automata-theoretic approach to Constraint LTL.

• [TCS-01-2]
  Deepak D'Souza and P. Madhusudan:
  Controller synthesis for timed specifications.

• [TCS-00-3]
  Orna Kupferman, P. Madhusudan, P. S. Thiagarajan and Moshe Y. Vardi:
  Open Systems in Reactive Environments: Control and Synthesis.

• [TCS-98-3]
  Deepak D'Souza and P. S. Thiagarajan:
  Distributed Interval Automata: A Subclass of Timed Automata.

• [TCS-98-2]
  P. Madhusudan and P. S. Thiagarajan:
  Controllers for Discete Event Systems via Morphisms.

• [TCS-98-1]
  Jesper G. Henriksen and P. S. Thiagarajan:
  Distributed Versions of Linear Time Temporal Logic: A Trace Perspective.

• [TCS-97-4]
  Madhavan Mukund, Narayan Kumar, Jaikumar Radhakrishnan and Milind Sohoni
  Message-Passing Automata and Asynchronous Communication.

• [TCS-97-3]
  Jesper G. Henriksen and P. S. Thiagarajan:
  A Product Version of Dynamic Linear Time Temporal Logic.

• [TCS-97-2]
  P. S. Thiagarajan and I. Walukiewicz:
  An Expressively Complete Linear Time Temporal Logic for Mazurkiewicz Traces.

• [TCS-97-1]
  Jesper G. Henriksen and P. S. Thiagarajan:
  Dynamic Linear Time Temporal Logic.

• [TCS-96-2]
  M. Mukund:
  Finite-state Automata on Infinite Inputs.

• [TCS-96-1]
  M. Mukund and P. S. Thiagarajan:
  Linear Time Temporal Logics over Mazurkiewicz Traces.

• [TCS-95-7]
  S. Krishnamurthy and M. Mukund:
  Implementing Causal Ordering with Bounded Time-stamps.

• [TCS-95-6]
  N. Klarlund, M. Mukund and M. Sohoni:
  Determinizing Asynchronous Automata on Infinite Inputs.

• [TCS-95-5]
  M. Agrawal:
  DSPACE(n) =? NSPACE(n): A Degree Theoretic Characterization

• [TCS-95-4]
  P. S. Thiagarajan:
  PTL over Product State Spaces.

• [TCS-95-3]
  M. Mukund, K. Narayan Kumar and M. Sohoni:
  Keeping Track of the Latest Gossip in Message-Passing Systems.

• [TCS-95-2]
  M. Agrawal, P. Ramadevi and V Vinay:
  A New Link Invariant and its Complexity.

• [TCS-95-1]
  M. Agrawal:
  Self-reducibility Versus Prunability.

• [TCS-94-5]
  M. Agrawal and V. Arvind:
  Geometric Sets of Low Information Content.

• [TCS-94-4]
  M. Agrawal, R. Krishnan and S. Venkatesh:
  The Isomorphism Problem for 2-DFA Reductions.

• [TCS-94-3]
  R. Krishnan and S. Venkatesh:
  Optimizing the Gossip Automaton.

• [TCS-94-2]
  M. Mukund and M. Sohoni:
  Gossiping, Asynchronous Automata and Zielonka's Theorem.

• [TCS-94-1]
  P. W. Hoogers, H. C. M. Kleijn and P. S. Thiagarajan:
  A Event Structure Semantics for General Petri Nets.

• [TCS-93-8]
  K. Lodaya, R. Parikh, R. Ramanujam and P. S. Thiagarajan:
  A Logical Study of Distributed Transition Systems.

• [TCS-93-7]
  M. Agrawal and V. Arvind:
  On Quasi-Linear Truth-Table Reductions to P-Selective Sets.

• [TCS-93-6]
  P. S. Thiagarajan:
  TrPTL: A Trace Based Extension of Linear Time Temporal Logic.

• [TCS-93-5]
  N. Klarlund, M. Mukund and M. Sohoni:
  Determinizing Asynchronous Automata.

• [TCS-93-4]
  P. S. Thiagarajan:
  A Trace Based Extension of PTL.

• [TCS-93-3]
  M. Mukund and M. Sohoni:
  Keeping Track of the Latest Gossip: Bounded Time-Stamps Suffice.

• [TCS-93-2]
  M. Agrawal:
  On the Isomorphism Problem for Weak Reducibilities.

• [TCS-92-3]
  M. Mukund:
  Transition System Models for Concurrency.

• [TCS-92-2]
  M. Mukund and M. Nielsen:
  CCS, Locations and Asynchronous Transition Systems.

• [TCS-92-1]
  M. Nielsen, G. Rozenberg and P. S. Thiagarajan:
  Elementary Transition Systems and Refinement.

• [TCS-91-5]
  M. Nielsen, G. Rozenberg and P. S. Thiagarajan:
  Transition Systems, Event Structures and Unfoldings.

• [TCS-91-4]
  M. Nielsen, G. Rozenberg and P. S. Thiagarajan:
  Elementary Transition Systems.

• [TCS-91-3]
  P. W. Hoogers, H. C. M. Kleijn and P. S. Thiagarajan:
  A Trace Semantics for Petri Nets.

• [TCS-91-2]
  M. Mukund:
  A Transition System Characterization of Petri Nets.

• [TCS-91-1]
  P. S. Thiagarajan (ed.):
  Proceedings of National Seminar on Theoretical Computer Science, Madras, India, July 4--6, 1991.

• [TCS-90-3]
  K. Lodaya, M. Mukund, R. Ramanujam and P. S. Thiagarajan:
  Models and Logics for True Concurrency.

• [TCS-90-2]
  M. Mukund and P. S. Thiagarajan:
  An Axiomatization of Well Branching Prime Event Structures.

• [TCS-90-1]
  M. Mukund:
  Expressiveness and Completeness of a Logic for Well Branching Prime Event Structures.

---