@article{Broy/01,
AUTHOR = {Broy, Manfred},
TITLE = {Refinement of time},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {253},
NUMBER = {1},
PAGES = {3-26},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Bjorner-Manna-Sipma-Uribe/01,
AUTHOR = {Bj{\o}rner, Nikolaj S. and Manna, Zohar and Sipma, Henny B. and Uribe, Tom{\'{a}}s E.},
TITLE = {Deductive verification of real-time systems using STeP},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {253},
NUMBER = {1},
PAGES = {27-60},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Dierks/01,
AUTHOR = {Dierks, Henning},
TITLE = {PLC-automata: A new class of implementable real-time automata},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {253},
NUMBER = {1},
PAGES = {61-93},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Campos-Clarke/01,
AUTHOR = {Campos, S{\'{e}}rgio Vale Aguiar and Clarke, Edmund},
TITLE = {The Verus language: Representing time efficiently with BDDs},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {253},
NUMBER = {1},
PAGES = {95-118},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Liu-Joseph/01,
AUTHOR = {Liu, Zhiming and Joseph, Mathai},
TITLE = {Verification, refinement and scheduling of real-time programs},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {253},
NUMBER = {1},
PAGES = {119-152},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Bodei-Degano-Priami/01,
AUTHOR = {Bodei, Chiara and Degano, Pierpaolo and Priami, Corrado},
TITLE = {Names of the $\pi$-calculus agents handled locally},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {253},
NUMBER = {2},
PAGES = {155-184},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Guerrini-Martini-Masini/01,
AUTHOR = {Guerrini, Stefano and Martini, Simone and Masini, Andrea},
TITLE = {Proof nets, garbage, and computations},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {253},
NUMBER = {2},
PAGES = {185-237},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Honsell-Miculan-Scagnetto/01a,
AUTHOR = {Honsell, Furio and Miculan, Marino and Scagnetto, Ivan},
TITLE = {$\pi$-calculus in (Co)inductive-type theory},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {253},
NUMBER = {2},
PAGES = {239-285},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Panangaden/01,
AUTHOR = {Panangaden, Prakash},
TITLE = {Measure and probability for concurrency theorists},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {253},
NUMBER = {2},
PAGES = {287-309},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Sangiorgi/01,
AUTHOR = {Sangiorgi, D.},
TITLE = {Asynchronous process calculi: The first- and higher-order paradigms},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {253},
NUMBER = {2},
PAGES = {311-350},
YEAR = {2001},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}