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 BibTeX
• Antonino Salibra, Robert Goldblatt: A Finite Equational Axiomatization of the Functional Algebras for the Lambda Calculus. 71-130 BibTeX

Volume 148, Number 2, February 1, 1999

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