Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/tcs/AmadioCS98,
  author       = {Roberto M. Amadio and
                  Ilaria Castellani and
                  Davide Sangiorgi},
  title        = {On Bisimulations for the Asynchronous pi-Calculus},
  journal      = {Theor. Comput. Sci.},
  volume       = {195},
  number       = {2},
  pages        = {291--324},
  year         = {1998},
  url          = {https://doi.org/10.1016/S0304-3975(97)00223-5},
  doi          = {10.1016/S0304-3975(97)00223-5},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/AmadioCS98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Boreale98,
  author       = {Michele Boreale},
  title        = {On the Expressiveness of Internal Mobility in Name-Passing Calculi},
  journal      = {Theor. Comput. Sci.},
  volume       = {195},
  number       = {2},
  pages        = {205--226},
  year         = {1998},
  url          = {https://doi.org/10.1016/S0304-3975(97)00220-X},
  doi          = {10.1016/S0304-3975(97)00220-X},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Boreale98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Bradfield98,
  author       = {Julian C. Bradfield},
  title        = {The Modal {\(\mathrm{\mu}\)}-Calculus Alternation Hierarchy is Strict},
  journal      = {Theor. Comput. Sci.},
  volume       = {195},
  number       = {2},
  pages        = {133--153},
  year         = {1998},
  url          = {https://doi.org/10.1016/S0304-3975(97)00217-X},
  doi          = {10.1016/S0304-3975(97)00217-X},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Bradfield98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/BruinN98,
  author       = {Arie de Bruin and
                  Shan{-}Hwei Nienhuys{-}Cheng},
  title        = {Linear Dynamic Kahn Networks are Deterministic},
  journal      = {Theor. Comput. Sci.},
  volume       = {195},
  number       = {1},
  pages        = {3--32},
  year         = {1998},
  url          = {https://doi.org/10.1016/S0304-3975(97)00156-4},
  doi          = {10.1016/S0304-3975(97)00156-4},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/BruinN98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/CleavelandLN98,
  author       = {Rance Cleaveland and
                  Gerald L{\"{u}}ttgen and
                  V. Natarajan},
  title        = {A Process Algebra with Distributed Priorities},
  journal      = {Theor. Comput. Sci.},
  volume       = {195},
  number       = {2},
  pages        = {227--258},
  year         = {1998},
  url          = {https://doi.org/10.1016/S0304-3975(97)00221-1},
  doi          = {10.1016/S0304-3975(97)00221-1},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/CleavelandLN98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Demri98,
  author       = {St{\'{e}}phane Demri},
  title        = {A Class of Decidable Information Logics},
  journal      = {Theor. Comput. Sci.},
  volume       = {195},
  number       = {1},
  pages        = {33--60},
  year         = {1998},
  url          = {https://doi.org/10.1016/S0304-3975(97)00157-6},
  doi          = {10.1016/S0304-3975(97)00157-6},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Demri98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/EsikL98,
  author       = {Zolt{\'{a}}n {\'{E}}sik and
                  Anna Labella},
  title        = {Equational Properties of Iteration in Algebraically Complete Categories},
  journal      = {Theor. Comput. Sci.},
  volume       = {195},
  number       = {1},
  pages        = {61--89},
  year         = {1998},
  url          = {https://doi.org/10.1016/S0304-3975(97)00158-8},
  doi          = {10.1016/S0304-3975(97)00158-8},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/EsikL98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/PeledWW98,
  author       = {Doron A. Peled and
                  Thomas Wilke and
                  Pierre Wolper},
  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},
  url          = {https://doi.org/10.1016/S0304-3975(97)00219-3},
  doi          = {10.1016/S0304-3975(97)00219-3},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/PeledWW98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/PhilippouW98,
  author       = {Anna Philippou and
                  David Walker},
  title        = {On Transformations of Concurrent-Object Programs},
  journal      = {Theor. Comput. Sci.},
  volume       = {195},
  number       = {2},
  pages        = {259--289},
  year         = {1998},
  url          = {https://doi.org/10.1016/S0304-3975(97)00222-3},
  doi          = {10.1016/S0304-3975(97)00222-3},
  timestamp    = {Tue, 09 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/PhilippouW98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/PittsR98,
  author       = {Andrew M. Pitts and
                  Joshua R. X. Ross},
  title        = {Process Calculus Based Upon Evaluation to Committed Form},
  journal      = {Theor. Comput. Sci.},
  volume       = {195},
  number       = {2},
  pages        = {155--182},
  year         = {1998},
  url          = {https://doi.org/10.1016/S0304-3975(97)00218-1},
  doi          = {10.1016/S0304-3975(97)00218-1},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/PittsR98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Seebold98,
  author       = {Patrice S{\'{e}}{\'{e}}bold},
  title        = {On the Conjugation of Standard Morphisms},
  journal      = {Theor. Comput. Sci.},
  volume       = {195},
  number       = {1},
  pages        = {91--109},
  year         = {1998},
  url          = {https://doi.org/10.1016/S0304-3975(97)00159-X},
  doi          = {10.1016/S0304-3975(97)00159-X},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Seebold98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Stirling98,
  author       = {Colin Stirling},
  title        = {Decidability of Bisimulation Equivalence for Normed Pushdown Processes},
  journal      = {Theor. Comput. Sci.},
  volume       = {195},
  number       = {2},
  pages        = {113--131},
  year         = {1998},
  url          = {https://doi.org/10.1016/S0304-3975(97)00216-8},
  doi          = {10.1016/S0304-3975(97)00216-8},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Stirling98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.