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