Volume 128; Issue 1

Information and Computation

Volume 128; Issue 1
1

Forward and Backward Simulations: II. Timing-Based Systems

Nancy Lynch, Frits Vaandrager
Journal:
Information and Computation
Year:
1996
Language:
english
File:
PDF, 834 KB
english, 1996
2

From Operational Semantics to Domain Theory

Ian A. Mason, Scott F. Smith, Carolyn L. Talcott
Journal:
Information and Computation
Year:
1996
Language:
english
File:
PDF, 1.47 MB
english, 1996
3

The Dynamic Universality of Sigmoidal Neural Networks

Joe Kilian, Hava T. Siegelmann
Journal:
Information and Computation
Year:
1996
Language:
english
File:
PDF, 428 KB
english, 1996
4

A Tradeoff between Safety and Liveness for Randomized Coordinated Attack

George Varghese, Nancy A. Lynch
Journal:
Information and Computation
Year:
1996
Language:
english
File:
PDF, 594 KB
english, 1996