CONCUR93	Quiescence, Fairness, Testing, and the Notion of
                Implementation, by Roberto Segala

CONCUR94	Probabilistic Simulations for Probabilistic Processes,
          	by Roberto Segala and Nancy Lynch

CONCUR95	A Compositional Trace-Based Semantics for Probabilistic 
   		Automata by Roberto Segala

CONCUR96	Testing Probabilistic Automata, by Roberto Segala

ICALP94         Liveness in Timed and Untimed systems, extended
                abstract, by Rainer Gawlick, Jorgen Sogaard-Andersen, 
                Roberto Segala, and Nancy Lynch

ioa_pa 		A Process Algebraic View of I/O Automata, 
                by Rocco De Nicola and Roberto Segala

LSVW95          Hybrid I/O Automata, by Nancy Lynch, Roberto Segala,
                Frits Vaandrager, and H.B. Weinberg. In proceedings of
		Hybrid Systems III.

phd*            Modeling and Verification of Randomized Distributed 
                Real-Time Systems, by Roberto Segala. Phd thesis, MIT. 
                The file phdcontents.ps.gz contains the table of contents 
                of the thesis; the files phd1,2,3.ps.gz contain the actual 
                thesis; the file phd.tar contains all the files 
                phd1,2,3.ps.gz. To get the thesis you can get either 
                phd.tar, or phd1,2,3.ps.gz.

PODC94		Proving Time Bounds for Randomized Distributed 
                Algorithms, by Nancy Lynch, Isaac Saias, and 
                Roberto Segala. 

PODC95		Formal Verification of Timed Properties for Randomized 
		Distributed Algorithms by Anna Pogosyants and Roberto Segala

TM-499		A Comparison of Simulation Techniques and Algebraic
                Techniques for Verifying Concurrent Systems, by
                Nancy Lynch and Roberto Segala

TM-555		Verification of the Randomized Consensus Algorithm of Aspnes
		and Herlihy: a Case Study, by Anna Pogosyants, Roberto
		Segala, and Nancy Lynch

TR-557		A Process Algebraic View of I/O Automata, 
                by Roberto Segala 

TR-587		Liveness in Timed and Untimed Systems, by Rainer
                Gawlick, Jorgen Sogaard-Andersen, Roberto Segala, 
                and Nancy Lynch

WDAG97		Verification of the Randomized Consensus Algorithm of Aspnes
		and Herlihy: a Case Study, by Anna Pogosyants, Roberto
		Segala, and Nancy Lynch. Short version of TM-555.