@article{Abramskky-Gay-Nagarajan/99,
AUTHOR = {Abramskky, S. and Gay, S.J. and Nagarajan, R.},
TITLE = {A specification structure for deadlock-freedom of synchronous processes},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {222},
NUMBER = {1-2},
PAGES = {1-53},
YEAR = {1999},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Cegielski-Richard/99,
AUTHOR = {Cegielski, Patrick and Richard, Denis},
TITLE = {On arithmetical first-order theories allowing encoding and decoding of lists},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {222},
NUMBER = {1-2},
PAGES = {55-75},
YEAR = {1999},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{File-Ranzato/99,
AUTHOR = {Fil{\'{e}}, Gilberto and Ranzato, Francesco},
TITLE = {The powerset operator on abstract interpretations},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {222},
NUMBER = {1-2},
PAGES = {77-111},
YEAR = {1999},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Cao-Borchers/99,
AUTHOR = {Cao, Feng and Borchers, Al},
TITLE = {Optimal transmission schedules for lightwave networks embedded with de Bruijn graphs},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {222},
NUMBER = {1-2},
PAGES = {113-131},
YEAR = {1999},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Gurevich-Voronkov/99,
AUTHOR = {Gurevich, Yuri and Voronkov, Andrei},
TITLE = {Monadic simultaneous rigid $E$-unification},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {222},
NUMBER = {1-2},
PAGES = {133-152},
YEAR = {1999},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Marchiori/99,
AUTHOR = {Marchiori, Elena},
TITLE = {Design of abstract domains using first-order logic},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {222},
NUMBER = {1-2},
PAGES = {153-179},
YEAR = {1999},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Colson/99,
AUTHOR = {Colson, Lo{\"i}c},
TITLE = {On diagonal fixed points of increasing functions},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {222},
NUMBER = {1-2},
PAGES = {181-186},
YEAR = {1999},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Dufourd-Finkel/99,
AUTHOR = {Dufourd, Catherine and Finkel, Alain},
TITLE = {A polynomial $\lambda$-bisimilar normalization for reset Petri nets},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {222},
NUMBER = {1-2},
PAGES = {187-194},
YEAR = {1999},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}