@article{Finkel-McKenzie-Picaronny/04,
AUTHOR = {Finkel, Alain and McKenzie, Pierre and Picaronny, Claudine},
TITLE = {A well-structured framework for analysing Petri net extensions},
JOURNAL = {Inf.~Comput.},
VOLUME = {195},
NUMBER = {1-2},
PAGES = {1-29},
YEAR = {2004},
EDITOR = {Meyer, Albert R.},
URL = {http://dx.doi.org/10.1016/j.ic.2004.01.005},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Orlando-Amsterdam-Tokyo-Singapore},
}
@article{Diekert-Gastin/04,
AUTHOR = {Diekert, Volker and Gastin, Paul},
TITLE = {Local temporal logic is expressively complete for cograph dependence alphabets},
JOURNAL = {Inf.~Comput.},
VOLUME = {195},
NUMBER = {1-2},
PAGES = {30-52},
YEAR = {2004},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {temporal logics, mazurkiewicz traces, concurrency},
URL = {http://dx.doi.org/10.1016/j.ic.2004.08.001},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Orlando-Amsterdam-Tokyo-Singapore},
}
@article{Epstein-van_Stee/04,
AUTHOR = {Epstein, Leah and van Stee, Rob},
TITLE = {Minimizing the maximum starting time on-line},
JOURNAL = {Inf.~Comput.},
VOLUME = {195},
NUMBER = {1-2},
PAGES = {53-65},
YEAR = {2004},
EDITOR = {Meyer, Albert R.},
URL = {http://dx.doi.org/10.1016/j.ic.2004.09.001},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Orlando-Amsterdam-Tokyo-Singapore},
}
@article{Luttik-Rodenburg-Verma/04,
AUTHOR = {Luttik, Bas and Rodenburg, Piet and Verma, Rakesh},
TITLE = {Remarks on Thatte's transformation of term rewriting systems},
JOURNAL = {Inf.~Comput.},
VOLUME = {195},
NUMBER = {1-2},
PAGES = {66-87},
YEAR = {2004},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {term rewriting, thatte's transformation, constructor-based system},
URL = {http://dx.doi.org/10.1016/j.ic.2003.09.006},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Orlando-Amsterdam-Tokyo-Singapore},
}