@article{van_Breugel/01,
AUTHOR = {van Breugel, Franck},
TITLE = {An introduction to metric semantics: Operational and denotational models for programming and specification languages},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {258},
NUMBER = {1-2},
PAGES = {1-98},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Broy-Stefanescu/01,
AUTHOR = {Broy, Manfred and {\c{S}}tef{\u{a}}nescu, Gheorghe},
TITLE = {The algebra of stream processing functions},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {258},
NUMBER = {1-2},
PAGES = {99-129},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Engelfriet-Gelsema/01,
AUTHOR = {Engelfriet, Joost and Gelsema, Tjalling},
TITLE = {Structural inclusion in the pi-calculus with replication},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {258},
NUMBER = {1-2},
PAGES = {131-168},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Mano-Ogawa/01,
AUTHOR = {Mano, Ken and Ogawa, Mizuhito},
TITLE = {Unique normal form property of compatible term rewriting systems: A new proof of Chew's theorem},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {258},
NUMBER = {1-2},
PAGES = {169-208},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Tzouvaras/01,
AUTHOR = {Tzouvaras, Athanassios},
TITLE = {Objects and their lambda calculus},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {258},
NUMBER = {1-2},
PAGES = {209-232},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Hains-Loulergue-Mullins/01,
AUTHOR = {Hains, Ga{\'{e}}tan and Loulergue, Fr{\'{e}}d{\'{e}}ric and Mullins, John},
TITLE = {Concrete data structures and functional parallel programming},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {258},
NUMBER = {1-2},
PAGES = {233-267},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Delzanno-Martelli/01,
AUTHOR = {Delzanno, Giorgio and Martelli, Maurizio},
TITLE = {Proofs as computations in linear logic},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {258},
NUMBER = {1-2},
PAGES = {269-297},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Birkedal-Tofte/01,
AUTHOR = {Birkedal, Lars and Tofte, Mads},
TITLE = {A constraint-based region inference algorithm},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {258},
NUMBER = {1-2},
PAGES = {299-392},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Corradini-Di_Cola/01,
AUTHOR = {Corradini, Flavio and Di Cola, Dino},
TITLE = {On testing urgency through laziness over processes with durational actions},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {258},
NUMBER = {1-2},
PAGES = {393-407},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Jancar-Kucera-Mayr/01,
AUTHOR = {Jan{\c{c}}ar, Petr and Ku{\v{c}}era, Anton{\'{i}}n and Mayr, Richard},
TITLE = {Deciding bisumulation-like equivalences with finite-state processes},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {258},
NUMBER = {1-2},
PAGES = {409-433},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Gramlich/01,
AUTHOR = {Gramlich, Bernhard},
TITLE = {On interreduction of semi-complete term rewriting systems},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {258},
NUMBER = {1-2},
PAGES = {435-451},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Seynhaeve-Tison-Tommasi-Treinen/01,
AUTHOR = {Seynhaeve, Franck and Tison, Sophie and Tommasi, Marc and Treinen, Ralf},
TITLE = {Grid structures and undecidable constraint theories},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {258},
NUMBER = {1-2},
PAGES = {453-490},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Emerson-Jutla-Sistla/01,
AUTHOR = {Emerson, E. Allen and Jutla, Charanjit S. and Sistla, A. Prasad},
TITLE = {On model checking for the $\mu$-calculus and its fragments},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {258},
NUMBER = {1-2},
PAGES = {491-522},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Brass-Dix-Niemela-Przymusinski/01,
AUTHOR = {Brass, Stefan and Dix, J{\"u}rgen and Niemel{\"a}, Ilkka and Przymusinski, Teodor C.},
TITLE = {On the equivalence of the static and disjunctive well-founded semantics and its computation},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {258},
NUMBER = {1-2},
PAGES = {523-553},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Shekhar-Wu/01,
AUTHOR = {Shekhar, Shashi and Wu, Weili},
TITLE = {Optimal placement of data replicas in distributed database with majority voting protocol},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {258},
NUMBER = {1-2},
PAGES = {555-571},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Darondeau/01,
AUTHOR = {Darondeau, Philippe},
TITLE = {On the Petri net realization of context-free graphs},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {258},
NUMBER = {1-2},
PAGES = {573-598},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}