@article{Winkowski/00,
AUTHOR = {Winkowski, J{\'{o}}zef},
TITLE = {Processes of timed Petri nets},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {243},
NUMBER = {1-2},
PAGES = {1-34},
YEAR = {2000},
PUBLISHER = {Elsevier Science B.V.},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{de_Prisco-Lampson-Lynch/00,
AUTHOR = {de Prisco, Roberto and Lampson, Butler and Lynch, Nancy},
TITLE = {Revisiting the PAXOS algorithm},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {243},
NUMBER = {1-2},
PAGES = {35-91},
YEAR = {2000},
PUBLISHER = {Elsevier Science B.V.},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Padawitz/00,
AUTHOR = {Padawitz, Peter},
TITLE = {Swinging types = functions + relations + transition systems},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {243},
NUMBER = {1-2},
PAGES = {93-165},
YEAR = {2000},
PUBLISHER = {Elsevier Science B.V.},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Degtyarev-Gurevich-Narendran-Veanes-Voronkov/00,
AUTHOR = {Degtyarev, Anatoli and Gurevich, Yuri and Narendran, Paliath and Veanes, Margus and Voronkov, Andrei},
TITLE = {Decidability and complexity of simultaneous rigid $E$-unification with one variable and related results},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {243},
NUMBER = {1-2},
PAGES = {167-184},
YEAR = {2000},
KEYWORDS = {184},
PUBLISHER = {Elsevier Science B.V.},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Arai/00a,
AUTHOR = {Arai, Noriko H.},
TITLE = {Tractability of cut-free Gentzen-type propositional calculus with permutation inference II},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {243},
NUMBER = {1-2},
PAGES = {185-197},
YEAR = {2000},
PUBLISHER = {Elsevier Science B.V.},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Seldin/00,
AUTHOR = {Seldin, Jonathan P.},
TITLE = {A Gentzen-style sequent calculus of constructions with expansion rules},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {243},
NUMBER = {1-2},
PAGES = {199-215},
YEAR = {2000},
PUBLISHER = {Elsevier Science B.V.},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Moran-Snir/00,
AUTHOR = {Moran, Shlomo and Snir, Sagi},
TITLE = {Simple end efficient network decomposition and synchronization},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {243},
NUMBER = {1-2},
PAGES = {217-241},
YEAR = {2000},
PUBLISHER = {Elsevier Science B.V.},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Bazzi/00,
AUTHOR = {Bazzi, Rida A.},
TITLE = {Planar quorums},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {243},
NUMBER = {1-2},
PAGES = {243-268},
YEAR = {2000},
PUBLISHER = {Elsevier Science B.V.},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Lakshmanan-Rosenkrantz-Ravi/00,
AUTHOR = {Lakshmanan, K.B. and Rosenkrantz, Daniel J. and Ravi, S.S.},
TITLE = {Alarm placement in systems with fault propagation},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {243},
NUMBER = {1-2},
PAGES = {269-288},
YEAR = {2000},
PUBLISHER = {Elsevier Science B.V.},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Kirousis-Kranakis-Krizanc-Pelc/00,
AUTHOR = {Kirousis, Lefteris M. and Kranakis, Evangelos and Krizanc, Danny and Pelc, Andrzej},
TITLE = {Power consumption in packet radio networks},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {243},
NUMBER = {1-2},
PAGES = {289-305},
YEAR = {2000},
PUBLISHER = {Elsevier Science B.V.},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Joung/00,
AUTHOR = {Joung, Yuh-Jzer},
TITLE = {Two decentralized algorithms for strong interaction fairness for systems with unbounded speed variability},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {243},
NUMBER = {1-2},
PAGES = {307-338},
YEAR = {2000},
PUBLISHER = {Elsevier Science B.V.},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Meier-Sanders/00,
AUTHOR = {Meier, David and Sanders, Beverly},
TITLE = {Composing leads-to properties},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {243},
NUMBER = {1-2},
PAGES = {339-361},
YEAR = {2000},
PUBLISHER = {Elsevier Science B.V.},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Garay-Gennaro-Jutla-Rabin/00,
AUTHOR = {Garay, Juan A. and Gennaro, Rosario and Jutla, Charanjit and Rabin, Tal},
TITLE = {Secure distributed storage and retrieval},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {243},
NUMBER = {1-2},
PAGES = {363-389},
YEAR = {2000},
PUBLISHER = {Elsevier Science B.V.},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Fokkink/00a,
AUTHOR = {Fokkink, Wan},
TITLE = {Language preorder as a precongruence},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {243},
NUMBER = {1-2},
PAGES = {391-408},
YEAR = {2000},
PUBLISHER = {Elsevier Science B.V.},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Aura-Lilius/00,
AUTHOR = {Aura, Tuomas and Lilius, Johan},
TITLE = {A causal semantics for time Petri nets},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {243},
NUMBER = {1-2},
PAGES = {409-447},
YEAR = {2000},
PUBLISHER = {Elsevier Science B.V.},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Zhou/00,
AUTHOR = {Zhou, Qing},
TITLE = {Grzegorczyk's hierarchy of computable analysis},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {243},
NUMBER = {1-2},
PAGES = {449-466},
YEAR = {2000},
PUBLISHER = {Elsevier Science B.V.},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Rabinovich/00b,
AUTHOR = {Rabinovich, A.},
TITLE = {Symbolic model checking for $\mu$-calculus requires exponential time},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {243},
NUMBER = {1-2},
PAGES = {467-475},
YEAR = {2000},
PUBLISHER = {Elsevier Science B.V.},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Massacci/00,
AUTHOR = {Massacci, Fabio},
TITLE = {The proof complexity of analytic and clausal tableaux},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {243},
NUMBER = {1-2},
PAGES = {477-487},
YEAR = {2000},
PUBLISHER = {Elsevier Science B.V.},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Geser/00,
AUTHOR = {Geser, Alfons},
TITLE = {On normalizing, non-terminating one-rule string rewriting systems},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {243},
NUMBER = {1-2},
PAGES = {489-498},
YEAR = {2000},
PUBLISHER = {Elsevier Science B.V.},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}