Information and Computation, Volume 148

Volume 148, Number 1, January 10, 1999

• Martín Abadi, Andrew D. Gordon: A Calculus for Cryptographic Protocols: The spi Calculus. 1-70
• Antonino Salibra, Robert Goldblatt: A Finite Equational Axiomatization of the Functional Algebras for the Lambda Calculus. 71-130

Volume 148, Number 2, February 1, 1999

• Zoltán Ésik: Group Axioms for Iteration. 131-180
• Yuri Ozhigov: Computations on Nondeterministic Cellular Automata. 181-201
• Wolfgang Maass, Berthold Ruf: On Computations with Pulses. 202-218
• Steven S. Seiden: Unfair Problems and Randomized Algorithms for Metrical Task Systems. 219-240
• Dieter Spreen: Corrigendum to ``On Some Decision Problems in Programming''. 241-244