Journal: Inf. Comput.

Volume 115, Issue 2

179 -- 247Luca Aceto, Matthew Hennessy. Adding Action Refinement to a Finite Process Algebra
248 -- 292David Haussler, Nick Littlestone, Manfred K. Warmuth. Predicting /0,1/-Functions on Randomly Drawn Points
293 -- 311Alain J. Mayer, Larry J. Stockmeyer. Word Problems-This Time with Interleaving
312 -- 320Eli Upfal. Tolerating a Linear Number of Faults in Networks of Bounded Degree
321 -- 353Phokion G. Kolaitis, Madhukar N. Thakur. Logical Definability of NP Optimization Problems
354 -- 371Jan Friso Groote, Hans Hüttel. Undecidable Equivalences for Basic Process Algebra