@article{Niwinski/97,
AUTHOR = {Niwi{\'n}ski, Damian},
TITLE = {Fixed point characterization of infinite behavior of finite-state systems},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {189},
NUMBER = {1-2},
PAGES = {1-69},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Bouge-Cachera-Guyadec-Utard-Virot/97,
AUTHOR = {Boug{\'{e}}, Luc and Cachera, David and Guyadec, Yann le and Utard, Gil and Virot, Bernard},
TITLE = {Formal validation of data-parallel programs: A two-component assertional proof system for a simple language},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {189},
NUMBER = {1-2},
PAGES = {71-107},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Burkhard/97,
AUTHOR = {Burkhard, Hans-Dieter},
TITLE = {Fairness and control in multi-agent systems},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {189},
NUMBER = {1-2},
PAGES = {109-127},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Eiter-Gottlob-Leone/97,
AUTHOR = {Eiter, Thomas and Gottlob, Georg and Leone, Nicola},
TITLE = {Abduction from logic programs: Semantics and complexity},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {189},
NUMBER = {1-2},
PAGES = {129-177},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Bremond-Gregoire-Lee/97,
AUTHOR = {Br{\'{e}}mond-Gr{\'{e}}goire, Patrice and Lee, Insup},
TITLE = {A process algebra of communicating shared resources with dense time and priorities},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {189},
NUMBER = {1-2},
PAGES = {179-219},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Mezghiche/97,
AUTHOR = {Mezghiche, Mohamed},
TITLE = {c$\beta$-machine with $\lambda\beta$-reduction},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {189},
NUMBER = {1-2},
PAGES = {221-228},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Bergeron/97,
AUTHOR = {Bergeron, Anne},
TITLE = {On the rational behaviors of concurrent timers},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {189},
NUMBER = {1-2},
PAGES = {229-237},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Cicerone-Parisi-Presicce/97,
AUTHOR = {Cicerone, Serafino and Parisi-Presicce, Francesco},
TITLE = {On the complexity of specification morphisms},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {189},
NUMBER = {1-2},
PAGES = {239-248},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}