@article{Henriksen-Mukund-Kumar-Sohoni-Thiagarajan/05,
AUTHOR = {Henriksen, Jesper G. and Mukund, Madhavan and Kumar, K. Narayan and Sohoni, Milind and Thiagarajan, P.S.},
TITLE = {A theory of regular MSC languages},
JOURNAL = {Inf.~Comput.},
VOLUME = {202},
NUMBER = {1},
PAGES = {1-38},
YEAR = {2005},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {message sequence charts, message-passing systems, regularity, realizability, synthesis, monadic second-order logic},
URL = {http://dx.doi.org/10.1016/j.ic.2004.08.004},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Orlando-Amsterdam-Tokyo-Singapore},
}
@article{Bugliesi-Crafa-Merro-Sassone/05,
AUTHOR = {Bugliesi, Michele and Crafa, Silvia and Merro, Massimo and Sassone, Vladimiro},
TITLE = {Communication and mobility control in boxed ambients},
JOURNAL = {Inf.~Comput.},
VOLUME = {202},
NUMBER = {1},
PAGES = {39-86},
YEAR = {2005},
EDITOR = {Meyer, Albert R.},
URL = {http://dx.doi.org/10.1016/j.ic.2005.06.002},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Orlando-Amsterdam-Tokyo-Singapore},
}
@article{Zhang-Jiang/05,
AUTHOR = {Zhang, Guo-Qiang and Jiang, Ying},
TITLE = {On an open problem of Amadio and Curien: The finite antichain condition},
JOURNAL = {Inf.~Comput.},
VOLUME = {202},
NUMBER = {1},
PAGES = {87-103},
YEAR = {2005},
EDITOR = {Meyer, Albert R.},
URL = {http://dx.doi.org/10.1016/j.ic.2005.06.001},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Orlando-Amsterdam-Tokyo-Singapore},
}
@article{Diekert-Gutierrez-Hagenah/05,
AUTHOR = {Diekert, Volker and Gutierrez, Claudio and Hagenah, Christian},
TITLE = {The existential theory of equations with rational constraints in free groups is $P$SPACE},
JOURNAL = {Inf.~Comput.},
VOLUME = {202},
NUMBER = {2},
PAGES = {105-140},
YEAR = {2005},
EDITOR = {Meyer, Albert R.},
URL = {http://dx.doi.org/10.1016/j.ic.2005.04.002},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Orlando-Amsterdam-Tokyo-Singapore},
}
@article{Abdulla-Bertrand-Rabinovich-Schnoebelen/05,
AUTHOR = {Abdulla, P.A. and Bertrand, N. and Rabinovich, A. and Schnoebelen, Ph.},
TITLE = {Verification of probabilistic systems with faulty communication},
JOURNAL = {Inf.~Comput.},
VOLUME = {202},
NUMBER = {2},
PAGES = {141-165},
YEAR = {2005},
EDITOR = {Meyer, Albert R.},
URL = {http://dx.doi.org/10.1016/j.ic.2005.05.008},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Orlando-Amsterdam-Tokyo-Singapore},
}
@article{Cece-Finkel/05,
AUTHOR = {C{\'e}c{\'e}, G{\'e}rard and Finkel, Alain},
TITLE = {Verification of progarams with half-duplex communicaton},
JOURNAL = {Inf.~Comput.},
VOLUME = {202},
NUMBER = {2},
PAGES = {166-190},
YEAR = {2005},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {ommunicating finite state machines, half-duplex communication, symbolic verification, channel-recognizable reachability sets, decidability, regular model checking, PLTL model-checking, CTL model-checking},
URL = {http://dx.doi.org/10.1016/j.ic.2005.06.001},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Orlando-Amsterdam-Tokyo-Singapore},
}
@article{Gradara-Santone-Villani/05,
AUTHOR = {Gradara, Sara and Santone, Antonella and Villani, Maria Luisa},
TITLE = {Using heuristic search for finding deadlocks in concurrent systems},
JOURNAL = {Inf.~Comput.},
VOLUME = {202},
NUMBER = {2},
PAGES = {191-262},
YEAR = {2005},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {state explosion, deadlock, heuristic search, CCS},
URL = {http://dx.doi.org/10.1016/j.ic.2005.07.004},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Orlando-Amsterdam-Tokyo-Singapore},
}