@article{Abadi-Plotkin/93,
AUTHOR = {Abadi, Mart{\'i}n and Plotkin, Gordon D.},
TITLE = {A logical view of composition},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {114},
NUMBER = {1},
PAGES = {3-30},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Boudol-Castellani-Hennessy-Kiehn/93,
AUTHOR = {Boudol, G. and Castellani, I. and Hennessy, M. and Kiehn, A.},
TITLE = {Observing localities},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {114},
NUMBER = {1},
PAGES = {31-61},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Degano-Nicola-Montanari/93,
AUTHOR = {Degano, Pierpaolo and Nicola, Rocco De and Montanari, Ugo},
TITLE = {Universal axioms for bisimulations},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {114},
NUMBER = {1},
PAGES = {63-91},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Desel-Esparza/93a,
AUTHOR = {Desel, J{\"o}rg and Esparza, Javier},
TITLE = {Reachability in cyclic extended free-choice systems},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {114},
NUMBER = {1},
PAGES = {93-118},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Larsen/93,
AUTHOR = {Larsen, Kim Guldstrand},
TITLE = {The expressive power of implicit specifications},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {114},
NUMBER = {1},
PAGES = {119-147},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Milner-Parrow-Walker/93,
AUTHOR = {Milner, Robin and Parrow, Joachim and Walker, David},
TITLE = {Modal logics for mobile processes},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {114},
NUMBER = {1},
PAGES = {149-171},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Vogler/93a,
AUTHOR = {Vogler, Walter},
TITLE = {Bisimulation and action refinement},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {114},
NUMBER = {1},
PAGES = {173-200},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Vickers/93,
AUTHOR = {Vickers, Steven},
TITLE = {Information systems for continuous posets},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {114},
NUMBER = {2},
PAGES = {201-229},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Eiter-Gottlob/93,
AUTHOR = {Eiter, Thomas and Gottlob, Georg},
TITLE = {Propositional circumscription and extended closed-world reasoning are $\Pi^p_2$-complete},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {114},
NUMBER = {2},
PAGES = {231-245},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
NOTE = {see Addendum in Theor.~Comput.~Sci.\ 118, 315},
}
@article{Desharnais-Jaoua-Mili-Boudriga-Mili/93,
AUTHOR = {Desharnais, Jules and Jaoua, Ali and Mili, Fatma and Boudriga, Noureddine and Mili, Ali},
TITLE = {A relational division operator: the conjugate kernel},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {114},
NUMBER = {2},
PAGES = {247-272},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Dougherty/93,
AUTHOR = {Dougherty, Daniel J.},
TITLE = {Higher-order unification via combinators},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {114},
NUMBER = {2},
PAGES = {273-298},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Barr/93,
AUTHOR = {Barr, Michael},
TITLE = {Terminal coalgebras in well-founded set theory},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {114},
NUMBER = {2},
PAGES = {299-315},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
NOTE = {see Additions and Corrections in Theor.~Comput.~Sci.\ 124, 189-192},
}
@article{Elvang-Goransson-Owe/93,
AUTHOR = {Elvang-G{\o}ransson, Morten and Owe, Olaf},
TITLE = {A simple sequent calculus for partial functions},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {114},
NUMBER = {2},
PAGES = {317-330},
YEAR = {1993},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}