Information and Computation

GUEST EDITORIAL
pp. 151-151(1)
Author: Winskel G.

On the Complexity of Reasoning in Kleene Algebra
pp. 152-162(11)
Author: Kozen D.

Bisimulation for Labelled Markov Processes
pp. 163-193(31)
Authors: Desharnais J.; Edalat A.; Panangaden P.

Boolean Expression Diagrams
pp. 194-212(19)
Authors: Andersen H.R.; Hulgaard H.

Set Constraints with Intersection
pp. 213-229(17)
Authors: Charatonik W.; Podelski A.

An Expressively Complete Linear Time Temporal Logic for Mazurkiewicz Traces
pp. 230-249(20)
Authors: Thiagarajan P.S.; Walukiewicz I.

Large Finite Structures with Few L^k-Types
pp. 250-278(29)
Author: Grohe M.

First-Order Logic with Two Variables and Unary Temporal Logic
pp. 279-295(17)
Authors: Etessami K.; Vardi M.Y.; Wilke T.

A Relational Account of Call-by-Value Sequentiality
pp. 296-331(36)
Authors: Riecke J.G.; Sandholm A.

Completeness of Continuation Models for -Calculus
pp. 332-355(24)
Authors: Hofmann M.; Streicher T.

The Monadic Quantifier Alternation Hierarchy over Grids and Graphs
pp. 356-383(28)
Authors: Matz O.; Schweikardt N.; Thomas W.

Volume 177, Number 2 (2002), in the article “Mobile Objects as Mobile Processes,” by Massimo Merro, Josva Kleist, and Uwe Nestmann, pages 195–241 (doi:10.1006/inco.2002.3172; PII: S0890-5401(02)93172-X)
pp. 384-384(1)

Author Index for Volume 179
pp. 385-385(1)