@article{de_Bruin-Nienhuys-Cheng/98,
AUTHOR = {de Bruin, Arie and Nienhuys-Cheng, Shan-Hwei},
TITLE = {Linear dynamic Kahn networks are deterministic},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {195},
NUMBER = {1},
PAGES = {3-32},
YEAR = {1998},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Demri/98,
AUTHOR = {Demri, St{\'{e}}phane},
TITLE = {A class of decidable information logics},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {195},
NUMBER = {1},
PAGES = {33-60},
YEAR = {1998},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Esik-Labella/98,
AUTHOR = {{\'{E}}sik, Z. and Labella, A.},
TITLE = {Equational properties of iteration in algebraically complete categories},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {195},
NUMBER = {1},
PAGES = {61-89},
YEAR = {1998},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Seebold/98,
AUTHOR = {S{\'{e}}{\'{e}}bold, Patrice},
TITLE = {On the conjugation of standard morphisms},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {195},
NUMBER = {1},
PAGES = {91-109},
YEAR = {1998},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Stirling/98a,
AUTHOR = {Stirling, Colin},
TITLE = {Decidability of bisimulation equivalence for normed pushdown processes},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {195},
NUMBER = {2},
PAGES = {113-131},
YEAR = {1998},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Bradfield/98a,
AUTHOR = {Bradfield, J.C.},
TITLE = {The modal mu-calculus alternation hierarchy is strict},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {195},
NUMBER = {2},
PAGES = {133-153},
YEAR = {1998},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Pitts-Ross/98,
AUTHOR = {Pitts, Andrew M. and Ross, Joshua R.X.},
TITLE = {Process calculus based upon evaluation to committed form},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {195},
NUMBER = {2},
PAGES = {155-182},
YEAR = {1998},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Peled-Wilke-Wolper/98,
AUTHOR = {Peled, Doron and Wilke, Thomas and Wolper, Pierre},
TITLE = {An algorithmic approach for checking closure properties of temporal logic specifications and $\omega$-regular languages},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {195},
NUMBER = {2},
PAGES = {183-203},
YEAR = {1998},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Boreale/98,
AUTHOR = {Boreale, Michele},
TITLE = {On the expressiveness of internal mobility in name-passing calculi},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {195},
NUMBER = {2},
PAGES = {205-226},
YEAR = {1998},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Cleaveland-Luttgen-Natarajan/98,
AUTHOR = {Cleaveland, Rance and L{\"u}ttgen, Gerald and Natarajan, V.},
TITLE = {A process algebra with distributed priorities},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {195},
NUMBER = {2},
PAGES = {227-258},
YEAR = {1998},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Philippou-Walker/98,
AUTHOR = {Philippou, Anna and Walker, David},
TITLE = {On transformations of concurrent-object programs},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {195},
NUMBER = {2},
PAGES = {259-289},
YEAR = {1998},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Amadio-Castellani-Sangiorgi/98,
AUTHOR = {Amadio, Roberto M. and Castellani, Ilaria and Sangiorgi, Davide},
TITLE = {On bisimulations for the asynchronous $\pi$-calculus},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {195},
NUMBER = {2},
PAGES = {291-324},
YEAR = {1998},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}