@article{Hofmann-Sannella/96,
AUTHOR = {Hofmann, Martin and Sannella, Donald},
TITLE = {On behavioural abstraction and behavioural satisfaction in higher-order logic},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {167},
NUMBER = {1-2},
PAGES = {3-45},
YEAR = {1996},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Jonsson-Tsay/96,
AUTHOR = {Jonsson, Bengt and Tsay, Yih-Kuen},
TITLE = {Assumption/guarantee specifications in linear-time temporal logic},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {167},
NUMBER = {1-2},
PAGES = {47-72},
YEAR = {1996},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Kozen/96,
AUTHOR = {Kozen, Dexter},
TITLE = {Rational spaces and set constraints},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {167},
NUMBER = {1-2},
PAGES = {73-94},
YEAR = {1996},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Middeldorp-Okui-Ida/96,
AUTHOR = {Middeldorp, Aart and Okui, Satoshi and Ida, Tetsuo},
TITLE = {Lazy narrowing: Strong completeness and eager variable elimination},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {167},
NUMBER = {1-2},
PAGES = {95-130},
YEAR = {1996},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Sagiv-Reps-Horwitz/96,
AUTHOR = {Sagiv, Mooly and Reps, Thomas and Horwitz, Susan},
TITLE = {Precise interprocedural dataflow analysis with applications to constant propagation},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {167},
NUMBER = {1-2},
PAGES = {131-170},
YEAR = {1996},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Salomaa/96a,
AUTHOR = {Salomaa, Kai},
TITLE = {Decidability of equivalence for deterministic synchronized automata},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {167},
NUMBER = {1-2},
PAGES = {171-192},
YEAR = {1996},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Sands/96,
AUTHOR = {Sands, David},
TITLE = {Proving the correctness of recursion-based automatic program transformations},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {167},
NUMBER = {1-2},
PAGES = {193-233},
YEAR = {1996},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Sangiorgi/96c,
AUTHOR = {Sangiorgi, Davide},
TITLE = {$\pi$-calculus, internal mobility, and agent-passing calculi},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {167},
NUMBER = {1-2},
PAGES = {235-274},
YEAR = {1996},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}