Search dblp for Publications

export results for "toc:db/journals/tcs/tcs274.bht:"

 download as .bib file

@article{DBLP:journals/tcs/Boer02,
  author    = {Frank S. de Boer},
  title     = {A Hoare logic for dynamic networks of asynchronously communicating
               deterministic processes},
  journal   = {Theor. Comput. Sci.},
  volume    = {274},
  number    = {1-2},
  pages     = {3--41},
  year      = {2002}
}
@article{DBLP:journals/tcs/HermannsHK02,
  author    = {Holger Hermanns and
               Ulrich Herzog and
               Joost{-}Pieter Katoen},
  title     = {Process algebra for performance evaluation},
  journal   = {Theor. Comput. Sci.},
  volume    = {274},
  number    = {1-2},
  pages     = {43--87},
  year      = {2002}
}
@article{DBLP:journals/tcs/LugiezS02,
  author    = {Denis Lugiez and
               Philippe Schnoebelen},
  title     = {The regular viewpoint on PA-processes},
  journal   = {Theor. Comput. Sci.},
  volume    = {274},
  number    = {1-2},
  pages     = {89--115},
  year      = {2002}
}
@article{DBLP:journals/tcs/MadhusudanT02,
  author    = {P. Madhusudan and
               P. S. Thiagarajan},
  title     = {Branching time controllers for discrete event systems},
  journal   = {Theor. Comput. Sci.},
  volume    = {274},
  number    = {1-2},
  pages     = {117--149},
  year      = {2002}
}
@article{DBLP:journals/tcs/SangiorgiS02,
  author    = {Davide Sangiorgi and
               Robert de Simone},
  title     = {Ninth International Conference on Concurrency Theory 1998 - Editorial},
  journal   = {Theor. Comput. Sci.},
  volume    = {274},
  number    = {1-2},
  pages     = {1},
  year      = {2002}
}
@article{DBLP:journals/tcs/SchobbensRH02,
  author    = {Pierre{-}Yves Schobbens and
               Jean{-}Fran{\c{c}}ois Raskin and
               Thomas A. Henzinger},
  title     = {Axioms for real-time logics},
  journal   = {Theor. Comput. Sci.},
  volume    = {274},
  number    = {1-2},
  pages     = {151--182},
  year      = {2002}
}
@article{DBLP:journals/tcs/Sewell02,
  author    = {Peter Sewell},
  title     = {From rewrite rules to bisimulation congruences},
  journal   = {Theor. Comput. Sci.},
  volume    = {274},
  number    = {1-2},
  pages     = {183--230},
  year      = {2002}
}
@article{DBLP:journals/tcs/Yoshida02,
  author    = {Nobuko Yoshida},
  title     = {Minimality and separation results on asynchronous mobile processes
               - representability theorems by concurrent combinators},
  journal   = {Theor. Comput. Sci.},
  volume    = {274},
  number    = {1-2},
  pages     = {231--276},
  year      = {2002}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics