@article{Tiuryn-Urzyczyn/02,
AUTHOR = {Tiuryn, Jerzy and Urzyczyn, Pawe{\l}},
TITLE = {The subtyping problem for second-order types is undecidable},
JOURNAL = {Inf.~Comput.},
VOLUME = {179},
NUMBER = {1},
PAGES = {1-18},
YEAR = {2002},
EDITOR = {Meyer, Albert R.},
URL = {http://dx.doi.org/10.1006/inco.2001.2950},
PUBLISHER = {Academic Press},
ADDRESS = {Orlando},
}
@article{Cervesato-Pfenning/02,
AUTHOR = {Cervesato, Iliano and Pfenning, Frank},
TITLE = {A linear logical framework},
JOURNAL = {Inf.~Comput.},
VOLUME = {179},
NUMBER = {1},
PAGES = {19-75},
YEAR = {2002},
EDITOR = {Meyer, Albert R.},
URL = {http://dx.doi.org/10.1006/inco.2001.2951},
PUBLISHER = {Academic Press},
ADDRESS = {Orlando},
}
@article{Fiore-Moggi-Sangiorgi/02,
AUTHOR = {Fiore, M.P. and Moggi, E. and Sangiorgi, D.},
TITLE = {A fully abstract model for the $\pi$-calculus},
JOURNAL = {Inf.~Comput.},
VOLUME = {179},
NUMBER = {1},
PAGES = {76-117},
YEAR = {2002},
EDITOR = {Meyer, Albert R.},
URL = {http://dx.doi.org/10.1006/inco.2002.2968},
PUBLISHER = {Academic Press},
ADDRESS = {Orlando},
}
@article{Brookes/02,
AUTHOR = {Brookes, Stephen},
TITLE = {The essence of parallel Algol},
JOURNAL = {Inf.~Comput.},
VOLUME = {179},
NUMBER = {1},
PAGES = {118-149},
YEAR = {2002},
EDITOR = {Meyer, Albert R.},
URL = {http://dx.doi.org/10.1006/inco.2002.2995},
PUBLISHER = {Academic Press},
ADDRESS = {Orlando},
}
@article{Kozen/02,
AUTHOR = {Kozen, Dexter},
TITLE = {On the complexity of reasoning in Kleene algebra},
JOURNAL = {Inf.~Comput.},
VOLUME = {179},
NUMBER = {2},
PAGES = {152-162},
YEAR = {2002},
EDITOR = {Meyer, Albert R.},
URL = {http://dx.doi.org/10.1006/inco.2001.2960},
PUBLISHER = {Academic Press},
ADDRESS = {Orlando},
}
@article{Desharnais-Edalat-Panangaden/02,
AUTHOR = {Desharnais, Jos{\'{e}}e and Edalat, Abbas and Panangaden, Prakash},
TITLE = {Bisimulation for labelled Markov processes},
JOURNAL = {Inf.~Comput.},
VOLUME = {179},
NUMBER = {2},
PAGES = {163-193},
YEAR = {2002},
EDITOR = {Meyer, Albert R.},
URL = {http://dx.doi.org/10.1006/inco.2001.2962},
PUBLISHER = {Academic Press},
ADDRESS = {Orlando},
}
@article{Andersen-Hulgaard/02,
AUTHOR = {Andersen, Henrik Reif and Hulgaard, Henrik},
TITLE = {Boolean expression diagrams},
JOURNAL = {Inf.~Comput.},
VOLUME = {179},
NUMBER = {2},
PAGES = {194-212},
YEAR = {2002},
EDITOR = {Meyer, Albert R.},
URL = {http://dx.doi.org/10.1006/inco.2001.2948},
PUBLISHER = {Academic Press},
ADDRESS = {Orlando},
}
@article{Charatonik-Podelski/02,
AUTHOR = {Charatonik, Witold and Podelski, Andreas},
TITLE = {Set constraints with intersection},
JOURNAL = {Inf.~Comput.},
VOLUME = {179},
NUMBER = {2},
PAGES = {213-229},
YEAR = {2002},
EDITOR = {Meyer, Albert R.},
URL = {http://dx.doi.org/10.1006/inco.2001.2952},
PUBLISHER = {Academic Press},
ADDRESS = {Orlando},
}
@article{Thiagarajan-Walukiewicz/02,
AUTHOR = {Thiagarajan, P.S. and Walukiewicz, I.},
TITLE = {An expressively complete linear time temporal logic for Mazurkiewicz traces},
JOURNAL = {Inf.~Comput.},
VOLUME = {179},
NUMBER = {2},
PAGES = {230-249},
YEAR = {2002},
EDITOR = {Meyer, Albert R.},
URL = {http://dx.doi.org/10.1006/inco.2001.2956},
PUBLISHER = {Academic Press},
ADDRESS = {Orlando},
}
@article{Grohe/02,
AUTHOR = {Grohe, Martin},
TITLE = {Large finite structures with few $L^k$-types},
JOURNAL = {Inf.~Comput.},
VOLUME = {179},
NUMBER = {2},
PAGES = {250-278},
YEAR = {2002},
EDITOR = {Meyer, Albert R.},
URL = {http://dx.doi.org/10.1006/inco.2002.2954},
PUBLISHER = {Academic Press},
ADDRESS = {Orlando},
}
@article{Etessami-Vardi-Wilke/02,
AUTHOR = {Etessami, Kousha and Vardi, Moshe Y. and Wilke, Thomas},
TITLE = {First-order logic with two variables and unary temporal logic},
JOURNAL = {Inf.~Comput.},
VOLUME = {179},
NUMBER = {2},
PAGES = {279-295},
YEAR = {2002},
EDITOR = {Meyer, Albert R.},
URL = {http://dx.doi.org/10.1006/inco.2001.2953},
PUBLISHER = {Academic Press},
ADDRESS = {Orlando},
}
@article{Riecke-Sandholm/02,
AUTHOR = {Riecke, Jon G. and Sandholm, Anders},
TITLE = {A relational account of call-by-value sequentiality},
JOURNAL = {Inf.~Comput.},
VOLUME = {179},
NUMBER = {2},
PAGES = {296-331},
YEAR = {2002},
EDITOR = {Meyer, Albert R.},
URL = {http://dx.doi.org/10.1006/inco.2002.2957},
PUBLISHER = {Academic Press},
ADDRESS = {Orlando},
}
@article{Hofmann-Streicher/02,
AUTHOR = {Hofmann, Martin and Streicher, Thomas},
TITLE = {Completeness of continuation models for $\lambda_\mu$-calculus},
JOURNAL = {Inf.~Comput.},
VOLUME = {179},
NUMBER = {2},
PAGES = {332-355},
YEAR = {2002},
EDITOR = {Meyer, Albert R.},
URL = {http://dx.doi.org/10.1006/inco.2001.2947},
PUBLISHER = {Academic Press},
ADDRESS = {Orlando},
}
@article{Matz-Schweikardt-Thomas/02,
AUTHOR = {Matz, Oliver and Schweikardt, Nicole and Thomas, Wolfgang},
TITLE = {The monadic quantifier alternation hierarchy over grids and graphs},
JOURNAL = {Inf.~Comput.},
VOLUME = {179},
NUMBER = {2},
PAGES = {356-383},
YEAR = {2002},
EDITOR = {Meyer, Albert R.},
URL = {http://dx.doi.org/10.1006/inco.2002.2955},
PUBLISHER = {Academic Press},
ADDRESS = {Orlando},
}
@article{Merro-Kleist-Nestmann/02a,
AUTHOR = {Merro, Massimo and Kleist, Josva and Nestmann, Uwe},
TITLE = {Erratum to ''Mobile objects as mobile processes''},
JOURNAL = {Inf.~Comput.},
VOLUME = {179},
NUMBER = {2},
PAGES = {384-384},
YEAR = {2002},
EDITOR = {Meyer, Albert R.},
URL = {http://dx.doi.org/10.1006/inco.2002.3197},
PUBLISHER = {Academic Press},
ADDRESS = {Orlando},
NOTE = {Originally in Inf. Comput., Vol. 177, 2002, No. 2, 195-241},
}