Theoretical Computer Science, Volume 222

Volume 222, Numbers 1-2, July 1999

• Samson Abramsky, Simon J. Gay, Rajagopal Nagarajan:
  A Specification Structure for Deadlock-Freedom of Synchronous Processes. 1-53
  
• Patrick Cégielski, Denis Richard:
  On Arithmetical First-Order Theories Allowing Encoding and Decoding of Lists. 55-75
  
• Gilberto Filé, Francesco Ranzato:
  The Powerset Operator on Abstract Interpretations. 77-111
  
• Feng Cao, Al Borchers:
  Optimal Transmission Schedules for Lightwave Networks Embedded with De Bruijn Graphs. 113-131
  
• Yuri Gurevich, Andrei Voronkov:
  Monadic Simultaneous Rigid E-unification. 133-152
  
• Elena Marchiori:
  Design of Abstract Domains Using First-Order Logic. 153-179
  
• Loïc Colson:
  On Diagonal Fixed Points of Increasing Functions. 181-186
  
• Catherine Dufourd, Alain Finkel:
  A Polynomial-Bisimilar Normalization for Reset Petri Nets. 187-194