Information and Computation, Volume 111

Volume 111, Number 1, 1994

• Andre Scedrov: Preface. iii
• Luca Aceto, Bard Bloom, Frits W. Vaandrager:
  Turning SOS Rules into Equations. 1-52
  
• Samson Abramsky, Radha Jagadeesan:
  New Foundations for the Geometry of Interaction. 53-119
  
• Davide Sangiorgi:
  The Lazy Lambda Calculus in a Concurrency Scenario. 120-153
  
• Hubert Comon, Marianne Haberstrau, Jean-Pierre Jouannaud:
  Syntacticness, Cycle-Syntacticness, and Shallow Theories. 154-191
  

Volume 111, Number 2, 1994

• Thomas A. Henzinger, Xavier Nicollin, Joseph Sifakis, Sergio Yovine:
  Symbolic Model Checking for Real-Time Systems. 193-244
  
• Jean-Pierre Talpin, Pierre Jouvelot:
  The Type and Effect Discipline. 245-296
  
• Robert Cartwright, Pierre-Louis Curien, Matthias Felleisen:
  Fully Abstract Semantics for Observably Sequential Languages. 297-401
  

Last update Mon May 20 17:24:08 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page