Information and Computation, Volume 111

Volume 111, Number 1, 1994

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

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