@article{Spakowski-Thakur-Tripathi/05,
AUTHOR = {Spakowski, Holger and Thakur, Mayur and Tripathi, Rahul},
TITLE = {Quantum and classical complexity classes: Separations, collapses, and closure properties},
JOURNAL = {Inf.~Comput.},
VOLUME = {200},
NUMBER = {1},
PAGES = {1-34},
YEAR = {2005},
EDITOR = {Meyer, Albert R.},
URL = {http://dx.doi.org/10.1016/j.ic.2004.10.009},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Orlando-Amsterdam-Tokyo-Singapore},
}
@article{Kesten-Piterman-Pnueli/05,
AUTHOR = {Kesten, Yonit and Piterman, Nir and Pnueli, Amir},
TITLE = {Bridging the gap between fair simulation and trace inclusion},
JOURNAL = {Inf.~Comput.},
VOLUME = {200},
NUMBER = {1},
PAGES = {35-61},
YEAR = {2005},
EDITOR = {Meyer, Albert R.},
URL = {http://dx.doi.org/10.1016/j.ic.2005.01.006},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Orlando-Amsterdam-Tokyo-Singapore},
}
@article{Israeli-Shaham/05,
AUTHOR = {Israeli, Amos and Shaham, Amnon},
TITLE = {Time and space optimal implementations of atomic multi-writer register},
JOURNAL = {Inf.~Comput.},
VOLUME = {200},
NUMBER = {1},
PAGES = {62-106},
YEAR = {2005},
EDITOR = {Meyer, Albert R.},
URL = {http://dx.doi.org/10.1016/j.ic.2004.11.004},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Orlando-Amsterdam-Tokyo-Singapore},
}
@article{Mousavi-Reniers-Groote/05,
AUTHOR = {Mousavi, Mohammad Reza and Reniers, Michel A. and Groote, Jan Friso},
TITLE = {Notions of bisimulation and congruence formats for SOS with data},
JOURNAL = {Inf.~Comput.},
VOLUME = {200},
NUMBER = {1},
PAGES = {107-147},
YEAR = {2005},
EDITOR = {Meyer, Albert R.},
URL = {http://dx.doi.org/10.1016/j.ic.2005.03.002},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Orlando-Amsterdam-Tokyo-Singapore},
}
@article{Baier-Katoen-Hermanns-Wolf/05,
AUTHOR = {Baier, Christel and Katoen, Joost-Pieter and Hermanns, Holger and Wolf, Verena},
TITLE = {Comparative branching-time semantics for Markov chains},
JOURNAL = {Inf.~Comput.},
VOLUME = {200},
NUMBER = {2},
PAGES = {149-214},
YEAR = {2005},
EDITOR = {Meyer, Albert R.},
URL = {http://dx.doi.org/10.1016/j.ic.2005.03.001},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Orlando-Amsterdam-Tokyo-Singapore},
}
@article{Quaglia-Walker/05,
AUTHOR = {Quaglia, Paola and Walker, David},
TITLE = {Types and full abstraction for polyadic $\pi$-calculus},
JOURNAL = {Inf.~Comput.},
VOLUME = {200},
NUMBER = {2},
PAGES = {215-246},
YEAR = {2005},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {$\pi$-calculus},
URL = {http://dx.doi.org/10.1016/j.ic.2005.03.004},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Orlando-Amsterdam-Tokyo-Singapore},
}
@article{Glasser-Selman-Sengupta/05,
AUTHOR = {Gla{\ss}er, Christian and Selman, Alan L. and Sengupta, Samik},
TITLE = {Reductions between disjoint $NP$-pairs},
JOURNAL = {Inf.~Comput.},
VOLUME = {200},
NUMBER = {2},
PAGES = {247-267},
YEAR = {2005},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {disjoint $NP$-pairs, reductions, promise problems, smart reductions},
URL = {http://dx.doi.org/10.1016/j.ic.2005.03.003},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Orlando-Amsterdam-Tokyo-Singapore},
}