@article{Afrati-Guessarian-Rougemont/02,
AUTHOR = {Afrati, Foto and Guessarian, Ir{\`{e}}ne and Rougemont, Michel de},
TITLE = {The expressiveness of DAC},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {286},
NUMBER = {1},
PAGES = {3-32},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Vogler/02a,
AUTHOR = {Vogler, Walter},
TITLE = {Partial order semantics and read arcs},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {286},
NUMBER = {1},
PAGES = {33-63},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Khasidashvili-Glauert/02,
AUTHOR = {Khasidashvili, Zurab and Glauert, John},
TITLE = {Relating conflict-free stable transition and event models via redex families},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {286},
NUMBER = {1},
PAGES = {65-95},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Holzer/02,
AUTHOR = {Holzer, Markus},
TITLE = {Multi-head finite automata: Data-independent versus data-dependent computations},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {286},
NUMBER = {1},
PAGES = {97-116},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Choffrut-Pighizzini/02,
AUTHOR = {Choffrut, Christian and Pighizzini, Giovanni},
TITLE = {Distances between languages and reflexivity of relations},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {286},
NUMBER = {1},
PAGES = {117-138},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Krznaric-Levcopoulos/02,
AUTHOR = {Krznaric, Drqgo and Levcopoulos, Christos},
TITLE = {Optimal algorithms for complete linkage clustering in $d$ dimensions},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {286},
NUMBER = {1},
PAGES = {139-149},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Astesiano-Bidoit-Kirchner-Krieg-Bruckner-Mosses-Sannella-Tarlecki/02,
AUTHOR = {Astesiano, Egidio and Bidoit, Michel and Kirchner, H{\'{e}}l{\`{e}}ne and Krieg-Br{\"u}ckner, Bernd and Mosses, Peter D. and Sannella, Donald and Tarlecki, Andrzej},
TITLE = {CASL: The common algebraic specification language},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {286},
NUMBER = {2},
PAGES = {153-196},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Borzyszkowski/02,
AUTHOR = {Borzyszkowski, Tomasz},
TITLE = {Logical systems for structured specifications},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {286},
NUMBER = {2},
PAGES = {197-245},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Bruni-Gadducci-Montanari/02,
AUTHOR = {Bruni, Roberto and Gadducci, Fabio and Montanari, Ugo},
TITLE = {Normal forms for algebras of connections},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {286},
NUMBER = {2},
PAGES = {247-292},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Corradini-Gadducci/02,
AUTHOR = {Corradini, Andrea and Gadducci, Fabio},
TITLE = {A functorial semantics for multi-algebras and partial algebras, with applications to syntax},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {286},
NUMBER = {2},
PAGES = {293-322},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Konikowska/02,
AUTHOR = {Konikowska, Beata},
TITLE = {Rasiowa-Sikorski deduction systems in computer science applications},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {286},
NUMBER = {2},
PAGES = {323-366},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Mossakowski/02a,
AUTHOR = {Mossakowski, Till},
TITLE = {Relating CASL with other specification languages: The institution level},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {286},
NUMBER = {2},
PAGES = {367-475},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}