@article{Case-Ott-Sharma-Stephan/02,
AUTHOR = {Case, John and Ott, Matthias and Sharma, Arun and Stephan, Frank},
TITLE = {Learning to win process-control games watching game-masters},
JOURNAL = {Inf.~Comput.},
VOLUME = {174},
NUMBER = {1},
PAGES = {1-19},
YEAR = {2002},
EDITOR = {Meyer, Albert R.},
URL = {http://dx.doi.org/10.1006/inco.2000.2946},
PUBLISHER = {Academic Press},
ADDRESS = {Orlando},
}
@article{Blass-Gurevich-van_den_Bussche/02,
AUTHOR = {Blass, Andreas and Gurevich, Yuri and van den Bussche, Jan},
TITLE = {Abstract state machines and computationally complete query languages},
JOURNAL = {Inf.~Comput.},
VOLUME = {174},
NUMBER = {1},
PAGES = {20-36},
YEAR = {2002},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {ASM, choiceless, polynomial time, database query, complete query language, QL, while},
URL = {http://dx.doi.org/10.1006/inco.2001.3067},
PUBLISHER = {Academic Press},
ADDRESS = {Orlando},
}
@article{Abadi-Fournet-Gonthier/02,
AUTHOR = {Abadi, Mart{\'{\i}}n and Fournet, C{\'{e}}dric and Gonthier, Georges},
TITLE = {Secure implementation of channel abstractions},
JOURNAL = {Inf.~Comput.},
VOLUME = {174},
NUMBER = {1},
PAGES = {37-83},
YEAR = {2002},
EDITOR = {Meyer, Albert R.},
URL = {http://dx.doi.org/10.1006/inco.2002.3086},
PUBLISHER = {Academic Press},
ADDRESS = {Orlando},
}
@article{Demri-Schnoebelen/02,
AUTHOR = {Demri, St{\'{e}}phane and Schnoebelen, Philippe},
TITLE = {The complexity of propositional linear temporal logics in simple cases},
JOURNAL = {Inf.~Comput.},
VOLUME = {174},
NUMBER = {1},
PAGES = {84-103},
YEAR = {2002},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {logic in computer science, computational complexity, verification, temporal logic, model checking},
URL = {http://dx.doi.org/10.1006/inco.2001.3094},
PUBLISHER = {Academic Press},
ADDRESS = {Orlando},
}
@article{Givan-McAllester-Witty-Kozen/02,
AUTHOR = {Givan, Robert and McAllester, David and Witty, Carl and Kozen, Dexter},
TITLE = {Tarskian set constraints},
JOURNAL = {Inf.~Comput.},
VOLUME = {174},
NUMBER = {2},
PAGES = {105-131},
YEAR = {2002},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {set constraints, decision procedures, dynamic logic, $\mu$-calculus},
URL = {http://dx.doi.org/10.1006/inco.2001.2973},
PUBLISHER = {Academic Press},
ADDRESS = {Orlando},
}
@article{Durand-More/02,
AUTHOR = {Durand, Arnaud and More, Malika},
TITLE = {Nonerasing, counting, and majority over the linear time hierarchy},
JOURNAL = {Inf.~Comput.},
VOLUME = {174},
NUMBER = {2},
PAGES = {132-142},
YEAR = {2002},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {computational and structural complexity, logic in computer science, rudimentary relations, counting classes},
URL = {http://dx.doi.org/10.1006/inco.2001.3084},
PUBLISHER = {Academic Press},
ADDRESS = {Orlando},
}
@article{Yoshida-Hennessy/02,
AUTHOR = {Yoshida, Nobuko and Hennessy, Matthew},
TITLE = {Assigning types to processes},
JOURNAL = {Inf.~Comput.},
VOLUME = {174},
NUMBER = {2},
PAGES = {143-179},
YEAR = {2002},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {concurrency theory, the higher-order $\pi$-calculus, type theory, access control},
URL = {http://dx.doi.org/10.1006/inco.2002.3113},
PUBLISHER = {Academic Press},
ADDRESS = {Orlando},
}
@article{Apostolico-Atallah/02,
AUTHOR = {Apostolico, Alberto and Atallah, Mikhail J.},
TITLE = {Compact recognizers of episode sequences},
JOURNAL = {Inf.~Comput.},
VOLUME = {174},
NUMBER = {2},
PAGES = {180-192},
YEAR = {2002},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {algorithms, pattern matching, subsequence and episode searching, DAWG, suffix automaton, compact subsequence automaton, skip-edge DAWG, forward failure function, skip-link},
URL = {http://dx.doi.org/10.1006/inco.2002.3143},
PUBLISHER = {Academic Press},
ADDRESS = {Orlando},
}
@article{Seiden/02,
AUTHOR = {Seiden, Steven S.},
TITLE = {A general decomposition theorem for the $k$-server problem},
JOURNAL = {Inf.~Comput.},
VOLUME = {174},
NUMBER = {2},
PAGES = {193-202},
YEAR = {2002},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {analysis of algorithms, online algorithms, $k$-server problem},
URL = {http://dx.doi.org/10.1006/inco.2002.3144},
PUBLISHER = {Academic Press},
ADDRESS = {Orlando},
}
@article{Alon-Kaplan-Krivelevich-Malkhi-Stern/02,
AUTHOR = {Alon, Noga and Kaplan, Haim and Krivelevich, Michael and Malkhi, Dahlia and Stern, Julien},
TITLE = {Scalable secure storage when half the system is faulty},
JOURNAL = {Inf.~Comput.},
VOLUME = {174},
NUMBER = {2},
PAGES = {203-213},
YEAR = {2002},
EDITOR = {Meyer, Albert R.},
URL = {http://dx.doi.org/10.1006/inco.2002.3148},
PUBLISHER = {Academic Press},
ADDRESS = {Orlando},
}