Information and Computation, Volume 128

Volume 128, Number 1, 10 July 1996

Nancy A. Lynch, Frits W. Vaandrager: Forward and Backward Simulations, II: Timing-Based Systems. 1-25
Ian A. Mason, Scott F. Smith, Carolyn L. Talcott: From Operational Semantics to Domain Theory. 26-47
Joe Kilian, Hava T. Siegelmann: The Dynamic Universality of Sigmoidal Neural Networks. 48-56
George Varghese, Nancy A. Lynch: A Tradeoff Between Safety and Liveness for Randomized Coordinated Attack. 57-71

John Case, Sanjay Jain, Arun Sharma: Machine Induction Without Revolutionary Changes in Hypothesis Size. 73-86
Kathleen Romanik, Jeffrey Scott Vitter: Using Vapnik-Chervonenkis Dimension to Analyze the Testing Complexity of Program Segments. 87-108
David Harel, Eli Singerman: More on Nonregular PDL: Finite Models and Fibonacci-Like Programs. 109-118
Yenjo Han, Thomas Thierauf: Restricted Information from Nonadaptive Queries to NP. 119-125
Mark Changizi: Self-Monitoring Machines and an omega^omega Hierarchy of Loops. 127-138